![[Jenkins]](/ci/static/d70d5ff4/images/svgs/logo.svg){kind=logo}
Last GitHub Push
Started on Dec 4, 2024, 1:03:26 PM Started by event from 140.82.115.56 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Wed Dec 04 13:03:26 CET 2024 Build disabled Done. Took 0 ms No changes
Started on Dec 4, 2024, 1:03:26 PM Started by event from 140.82.115.56 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Wed Dec 04 13:03:26 CET 2024 Build disabled Done. Took 0 ms No changes