Inspections

Fix docker cuda deps

master . #1312 . pull request triggered

  No notable changes.
03:00
created
Fix docker cuda deps

master . #1312 . pull request triggered

  No notable changes.
02:48
created
Fix docker cuda deps

master . #1312 . pull request triggered

  No notable changes.
02:53
created
:package: v3.1.0

master . f9ce65...f07e05 . push triggered

  No notable changes.
03:14
created
Implementation of the resource manager server (issue #1294)

master . #1309 . pull request triggered

  No notable changes.
08:02
created
update OCR-D/spec to v3.26.0

master . #1311 . pull request triggered

  No notable changes.
14:46
created
Implementation of the resource manager server (issue #1294)

master . #1309 . pull request triggered

  2 new issues found.
03:31
created
Implementation of the resource manager server (issue #1294)

master . #1309 . pull request triggered

  2 new issues found.
04:15
created
Implementation of the resource manager server (issue #1294)

master . #1309 . pull request triggered

  No notable changes.
03:44
created
Implementation of the resource manager server (issue #1294)

master . #1309 . pull request triggered

  No notable changes.
02:47
created
Implementation of the resource manager server (issue #1294)

master . #1309 . pull request triggered

  No notable changes.
03:20
created
Processor.download: apply config.OCRD_DOWNLOAD_INPUT no sooner than a…

master . #1310 . pull request triggered

  Inspection timed out.
123:37
created
Processor.download: apply config.OCRD_DOWNLOAD_INPUT no sooner than a…

master . #1310 . pull request triggered

  No notable changes.
06:46
created
Processor.download: apply config.OCRD_DOWNLOAD_INPUT no sooner than a…

master . #1310 . pull request triggered

  No notable changes.
10:18
created
Processor.download: apply config.OCRD_DOWNLOAD_INPUT no sooner than a…

master . #1310 . pull request triggered

  No notable changes.
02:37
created
Implementation of the resource manager server (issue #1294)

master . #1309 . pull request triggered

  No notable changes.
03:00
created
Implementation of the resource manager server (issue #1294)

master . #1309 . pull request triggered

  No notable changes.
03:22
created
Implementation of the resource manager server (issue #1294)

master . #1309 . pull request triggered

  No notable changes.
03:17
created
:package: v3.0.4

master . 62cf25...f9ce65 . push triggered

  No notable changes.
02:56
created
test_workspace: use different asset w/ loctype URL

master . #1305 . pull request triggered

  No notable changes.
02:55
created