tweak COQTEST output

8 jobs for master in 11 minutes and 12 seconds (queued for 17 minutes and 22 seconds)
Status Job ID Name Coverage
  Build
passed #27155
fp
build-coq.8.7.0

00:02:45

passed #27154
fp
build-coq.8.7.1

00:02:51

passed #27153
fp
build-coq.8.7.2

00:02:45

passed #27152
fp-timing
build-coq.8.8.0

00:02:43

passed #27151
fp
build-coq.8.8.1

00:02:48

passed #27150
fp
build-coq.8.8.2

00:02:49

passed #27149
fp-timing
build-coq.8.9.0

00:03:07

passed #27148
fp
build-coq.dev

00:07:58