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