Started on May 8, 2022, 5:15:03 PM
Started by event from 140.82.115.116 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Sun May 08 17:15:03 CEST 2022
No workspace is available, so can’t check for updates.
Scheduling a new build to get a workspace. (nonexisting_workspace)
Done. Took 0.13 sec
Changes found