Merge branch 'main' of https://gitlab.cs.uni-duesseldorf.de/voelkel/ds-skript into main
Failed
Konrad Völkel
created pipeline for commit 2324c846
, finished
For main
1 minute 56 seconds, queued for 4 seconds