Skip to content
Builds
No builds

Last GitHub Push

Started on Oct 11, 2023, 4:16:15 PM
Started by event from 140.82.115.59 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Wed Oct 11 16:16:14 CEST 2023
Build disabled
Done. Took 0 ms
No changes