Merge branch 'main' of https://gitlab.informatik.uni-halle.de/apcne/galore-replication
Passed
Riko Corwin Uphoff
created pipeline for commit
66d40b4e
, finished
For main
14 minutes 32 seconds, queued for 4 seconds