Don't specify workers
Passed
Ernesto Rico Schmidt
created pipeline for commit
53d80ff7
, finished
For master
5 minutes 43 seconds, queued for 3 seconds