Lock file maintenance
Passed
Reiter, Christoph
created pipeline for commit
27ee4529
, finished
1 related merge request: !134 Lock file maintenance
8 minutes 32 seconds, queued for 4 seconds