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