Skip to content
Snippets Groups Projects

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