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