actually build against Coq 8.7.1

7 jobs for master in 31 minutes and 13 seconds (queued for 17 seconds)
Status Job ID Name Coverage
  Build
passed #6728
fp-timing
build-coq.8.6.1

00:07:33

passed #6733
fp-timing
build-coq.8.7.1

00:07:34

failed #6727
fp-timing
build-coq.8.7.1

00:00:50

 
  Deploy
passed #6729
opam

00:00:17

 
  Build More
passed #6732
fp-timing
build-coq.8.6

00:07:33

passed #6731
fp-timing
build-coq.8.7.0

00:07:29

passed #6730
fp-timing
build-coq.8.7.dev

00:08:12