Last GitHub Push

Started on Sep 12, 2023, 9:18:22 PM
Started by event from 140.82.115.108 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Tue Sep 12 21:18:22 CEST 2023
Build disabled
Done. Took 0 ms
No changes