also time Coq 8.8

7 jobs for master in 17 minutes and 13 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed build-coq.8.6.0 #14616
fp

00:02:54

passed build-coq.8.6.1 #14615
fp

00:02:53

passed build-coq.8.7.0 #14614
fp

00:02:54

passed build-coq.8.7.1 #14613
fp

00:03:38

passed build-coq.8.7.2 #14612
fp-timing

00:02:50

passed build-coq.8.8.0 #14611
fp-timing

00:08:15

passed build-coq.dev #14610
fp

00:14:18