Lock file maintenance
Passed
Reiter, Christoph
created pipeline for commit
b52cf9f7
, finished
1 related merge request: !230 Lock file maintenance
3 minutes 2 seconds, queued for 3 seconds