Skip to content

GitLab

wait for the batchbuilder to signal its final cmdline before launching

2 jobs for dev in 2 minutes and 55 seconds (queued for 2 seconds)
5c865999
1 related merge request: !10 Dev