workdir: customized roster lock for breaking logic as in reservation.
Related merge request !145 to merge topic/default/workdirs-pool
merge request
6 jobs
16 minutes 28 seconds, queued for 4 seconds