Lock file maintenance
Failed
Reiter, Christoph
created pipeline for commit
67647beb
, finished
1 related merge request: !145 Lock file maintenance
2 minutes 55 seconds, queued for 2 seconds