![[Jenkins]](/ci/static/d70d5ff4/images/svgs/logo.svg){kind=logo}
Last GitHub Push
Started on Jan 16, 2025, 11:30:51 AM Started by event from 140.82.115.163 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Thu Jan 16 11:30:51 CET 2025 Build disabled Done. Took 2 ms No changes
Started on Jan 16, 2025, 11:30:51 AM Started by event from 140.82.115.163 ⇒ http://dev.digital-humanities.de:8080/ci/github-webhook/ on Thu Jan 16 11:30:51 CET 2025 Build disabled Done. Took 2 ms No changes