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