Passed
Push — master ( 8006c9...b8d5d7 )
by Konstantin
03:15 queued 14s
created
5.57
▶   ± 0
Head
Konstantin Baierer  
Merge pull request #1093 from OCR-D/create-default-queue
2 more commits
Base
Konstantin Baierer  
Merge pull request #1080 from OCR-D/revise-logging