Merge branch 'main' of https://gitlab.cs.uni-duesseldorf.de/voelkel/ds-skript into main
Passed
Konrad Völkel
created pipeline for commit c0172092
, finished
For main
3 minutes 26 seconds, queued for 1 seconds