support Coq 8.8.2

9 jobs for master in 12 minutes and 32 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #18705
fp
build-coq.8.6.0

00:02:19

passed #18704
fp
build-coq.8.6.1

00:02:13

passed #18703
fp
build-coq.8.7.0

00:02:15

passed #18702
fp
build-coq.8.7.1

00:02:20

passed #18701
fp-timing
build-coq.8.7.2

00:02:21

passed #18700
fp-timing
build-coq.8.8.0

00:02:23

passed #18699
fp
build-coq.8.8.1

00:02:15

passed #18698
fp
build-coq.8.8.2

00:08:25

passed #18697
fp
build-coq.dev

00:04:27