Skip to content
Builds
No builds

Last GitHub Push

Started on Dec 4, 2024, 1:03:48 PM
Started by event from 140.82.115.48 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Wed Dec 04 13:03:48 CET 2024
Build disabled
Done. Took 0 ms
No changes