update CI

6 jobs for master in 23 minutes and 28 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #8401
fp
build-coq.8.6.0

00:08:07

passed #8400
fp
build-coq.8.6.1

00:11:31

passed #8399
fp
build-coq.8.7.0

00:09:21

passed #8398
fp-timing
build-coq.8.7.1

00:02:22

passed #8397
fp
build-coq.8.7.dev

00:08:11

passed #8396
fp
build-coq.dev

00:19:58