update CI

5 jobs for master in 23 minutes and 28 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #11761
fp
build-coq.8.7.0

00:10:40

passed #11760
fp
build-coq.8.7.1

00:08:56

passed #11759
fp-timing
build-coq.8.7.2

00:03:37

passed #11758
fp
build-coq.8.8.0

00:10:47

passed #11757
fp
build-coq.dev

00:23:27