View GitHub Repository core

Schedule Inspection
Subscribe

Inspections

Clear current filters, and sorts
Initiated By
Branch: master
Type
Sort
Update WorkspaceValidator

master . #1316 . pull request triggered

  No notable changes.
02:36
created
Update WorkspaceValidator

master . #1316 . pull request triggered

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

master . #1309 . pull request triggered

  No notable changes.
03:13
created
fix deps-tf1 requirements DIRSTACK fix

master . #1314 . pull request triggered

  No notable changes.
02:49
created
fix deps-tf1 requirements DIRSTACK fix

master . #1314 . pull request triggered

  No notable changes.
03:01
created
:package: v3.1.2

master . 8fbcf0...96c9ad . push triggered

  No notable changes.
06:21
created
deps-tf1: fix 7a2c4c7

master . #1313 . pull request triggered

  No notable changes.
02:33
created
:package: v3.1.1

master . f07e05...8fbcf0 . push triggered

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

master . #1312 . pull request triggered

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

master . #1312 . pull request triggered

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

master . #1312 . pull request triggered

  No notable changes.
12:14
created
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