CI tweaks

5 jobs for master in 8 minutes and 7 seconds (queued for 13 minutes and 14 seconds)
Status Job ID Name Coverage
  Build
canceled #4057
fp-timing
build-coq8.6

00:00:30

canceled #4056
fp-timing
build-coq8.6.1

00:01:36

passed #4055
fp-timing
build-coq8.7

00:04:33

passed #4054
fp-timing
build-coq8.7.dev

00:01:57

 
  Opam
canceled #4058
opam