tweak COQTEST output

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

00:02:45

passed build-coq.8.7.1 #27154
fp

00:02:51

passed build-coq.8.7.2 #27153
fp

00:02:45

passed build-coq.8.8.0 #27152
fp-timing

00:02:43

passed build-coq.8.8.1 #27151
fp

00:02:48

passed build-coq.8.8.2 #27150
fp

00:02:49

passed build-coq.8.9.0 #27149
fp-timing

00:03:07

passed build-coq.dev #27148
fp

00:07:58