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 #14616
fp
build-coq.8.6.0

00:02:54

passed #14615
fp
build-coq.8.6.1

00:02:53

passed #14614
fp
build-coq.8.7.0

00:02:54

passed #14613
fp
build-coq.8.7.1

00:03:38

passed #14612
fp-timing
build-coq.8.7.2

00:02:50

passed #14611
fp-timing
build-coq.8.8.0

00:08:15

passed #14610
fp
build-coq.dev

00:14:18