Change option key to

4 jobs for criterion in 43 minutes and 58 seconds (queued for 11 minutes and 58 seconds)
Status Name Job ID Coverage
  Build
passed build_linux_27 #133208
docker

00:24:36

81.0%
passed build_linux_36 #133209
docker

00:24:24

81.0%
passed build_macosx_27 #133210
macosx

00:31:07

81.0%
passed build_macosx_36 #133211
macosx

00:31:36

81.0%