![[Jenkins]](/ci/static/5d841056/images/svgs/logo.svg){kind=logo}
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
 14 KB![[console]](/ci/plugin/console-badge/icons/16x16/terminal.png){kind=icon} |
| 14 KB |
 14 KB |
| 14 KB |
| 14 KB |
| 15 KB |
 15 KB |
| 13 KB |
 15 KB |
| 15 KB |
| 15 KB |
| 13 KB |
| 118 KB |
| 118 KB |
| 123 KB |
| 119 KB |
| 117 KB |
| 12 MB |
 12 MB |
| 13 KB |
| 55 KB |
| 13 KB |
| 12 KB |
| 124 KB |
| 120 KB |
| 121 KB |
| 119 KB |
| 119 KB |
| 119 KB |
| 165 KB |
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