Lock file maintenance
Passed
Reiter, Christoph
created pipeline for commit
3ed845dd
, finished
1 related merge request: !148 Lock file maintenance
8 minutes 11 seconds, queued for 7 seconds