update CI

6 jobs for master in 22 minutes and 48 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #8334
fp
build-coq.8.6.0

00:08:17

passed #8333
fp
build-coq.8.6.1

00:09:57

passed #8332
fp
build-coq.8.7.0

00:09:44

passed #8331
fp-timing
build-coq.8.7.1

00:05:13

passed #8330
fp
build-coq.8.7.dev

00:12:47

passed #8329
fp
build-coq.dev

00:17:34