Update various things affected by the gitlab path change
Passed
Reiter, Christoph
created pipeline for commit
fd0e8416
, finished
For main
1 minute 19 seconds, queued for 10 seconds