Skip to content
Snippets Groups Projects

workdir: customized roster lock for breaking logic as in reservation.

Passed
Georges Racinet created pipeline for commit 5976d391
, finished
Related merge request !145 to merge topic/default/workdirs-pool
merge request
6 jobs 16 minutes 28 seconds, queued for 4 seconds