View GitHub Repository core

Schedule Inspection
Subscribe

Inspections

Initiated By
Branch
Type
Sort
replace page.xsd with current PRImA master; regenerate PAGE API

master . #1341 . pull request triggered

  2 fixed issues found.
02:14
created
:package: v3.6.0

master . e5f8d1...255ddb . push triggered

  No notable changes.
02:17
created
Remove bashlib

master . #1339 . pull request triggered

  2 fixed issues found.
02:11
created
:memo: changelog

master . c6810a...e5f8d1 . push triggered

  2 fixed issues found.
03:10

queued 42s

created
resmgr download: implement git clone

master . #1340 . pull request triggered

  No notable changes.
02:19
created
Merge pull request #1337 from OCR-D/improve-network-client-errors

master . fd9115...c6810a . push triggered

  No notable changes.
01:04

queued 10s

created
Improve ocrd-network-client error handling

master . #1337 . pull request triggered

  No notable changes.
06:46
created
Remove the processor server

master . #1338 . pull request triggered

  2 fixed issues found.
02:06
created
Remove bashlib

master . #1339 . pull request triggered

  Tests failed. Inspection timed out.
121:04
created
Remove bashlib

master . #1339 . pull request triggered

  No notable changes.
02:25
created
Improve ocrd-networ-client error handling

master . #1337 . pull request triggered

  2 fixed issues found.
02:32
created
Improve ocrd-networ-client error handling

master . #1337 . pull request triggered

  No notable changes.
02:11
created
Continuation of #1309: Implementation of the resource manager server (issue #12...

master . #1319 . pull request triggered

  No notable changes.
02:17
created
Improve ocrd-networ-client error handling

master . #1337 . pull request triggered

  2 fixed issues found.
02:12
created
Remove the processor server

master . #1338 . pull request triggered

  2 fixed issues found.
02:19
created
Remove the processor server

master . #1338 . pull request triggered

  4 fixed issues found.
02:09
created
Improve ocrd-networ-client error handling

master . #1337 . pull request triggered

  1 new issue found.
02:31
created
Continuation of #1309: Implementation of the resource manager server (issue #12...

master . #1319 . pull request triggered

  No notable changes.
02:12
created
:memo: changelog

master . 8b854e...fd9115 . push triggered

  2 new issues found.
05:36
created
run_workflow: pass comma-separated page ids instead of interval range

master . #1334 . pull request triggered

  No notable changes.
02:25
created