View GitHub Repository core

Schedule Inspection
Subscribe

Inspections

Clear current filters, and sorts
Initiated By: Konstantin Baierer
Branch
Type
Sort
Docker CD: in single step to avoid repeating build

master . bd7802...0d03b0 . push triggered

  No notable changes.
02:22
created
:package: v3.11.0

master . e3da3a...bd7802 . push triggered

  2 new issues found.
02:26
created
:package: v3.10.1

master . 236931...e3da3a . push triggered

  2 fixed issues found.
02:38
created
:bug: missing imports in shell_processor

master . fd842e...236931 . push triggered

  2 new issues, 8 fixed issues found.
02:19
created
ci: in network-testing continue if no docker images to rmi

master . be2c3d...fd842e . push triggered

  Inspection was canceled.
105:22

queued 105:22

created
:package: v3.10.0

master . ec6b08...be2c3d . push triggered

  Inspection was canceled.
120:26

queued 120:26

created
replace page.xsd with current PRImA master; regenerate PAGE API

master . #1341 . pull request triggered

  Tests failed.
121:25
created
:package: v3.9.2

master . 755dc3...ec6b08 . push triggered

  No notable changes.
02:26
created
:package: v3.9.1

master . 2c1103...755dc3 . push triggered

  2 new issues found.
02:15
created
:package: v3.9.0

master . 934a31...2c1103 . push triggered

  1 new issue, 7 fixed issues found.
02:28
created
:package: v3.8.1

master . 47b77a...934a31 . push triggered

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

master . 13f469...47b77a . push triggered

  1 new issue, 4 fixed issues found.
02:26
created
Merge pull request #1319 from OCR-D/1294-impl-rm-server-revert-revert

master . 8b7a6b...13f469 . push triggered

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

master . #1319 . 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:12
created
Continuation of #1309: Implementation of the resource manager server (issue #12...

master . #1319 . pull request triggered

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

master . #1319 . pull request triggered

  2 fixed issues found.
02:15
created
:package: v3.7.0

master . 3885c5...8b7a6b . push triggered

  No notable changes.
03:29
created
:memo: changelog

master . 255ddb...3885c5 . push triggered

  No notable changes.
06:53
created
Fix all Pydantic v2 deprecation warnings and drop the pydantic v1.* pin

master . #1342 . pull request triggered

  No notable changes.
05:17
created