update CI

12 jobs for master in 19 minutes
Status Job ID Name Coverage
  Build
passed #8284
fp
build-coq.8.6.1

00:07:47

passed #8283
fp-timing
build-coq.8.7.1

00:07:43

 
  Deploy
passed #8285
opam

00:00:13

 
  Build More
passed #8293
fp
build-coq.8.6.0

00:02:24

passed #8294
fp
build-coq.8.7.0

00:07:53

passed #8295
fp
build-coq.8.7.dev

00:10:59

failed #8290
fp
build-coq.8.6.0

00:01:31

failed #8288
fp
build-coq.8.6.0

00:00:15

failed #8291
fp
build-coq.8.7.0

00:01:19

failed #8287
fp
build-coq.8.7.0

00:03:38

failed #8292
fp
build-coq.8.7.dev

00:01:10

failed #8286
fp
build-coq.8.7.dev

00:03:38