Lock file maintenance
Passed
Reiter, Christoph
created pipeline for commit 0bf3d70e
, finished
1 related merge request: !71 Lock file maintenance
10 minutes 14 seconds, queued for 1,736 seconds