Lock file maintenance
Passed
Reiter, Christoph
created pipeline for commit
f3b8dfbe
, finished
1 related merge request: !112 Lock file maintenance
3 minutes 32 seconds, queued for 7 seconds