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