update CI

8 jobs for master in 6 minutes
Status Job ID Name Coverage
  Build
canceled #16796
fp
build-coq.8.6.0

canceled #16795
fp
build-coq.8.6.1

canceled #16794
fp
build-coq.8.7.0

canceled #16793
fp
build-coq.8.7.1

00:01:06

canceled #16792
fp-timing
build-coq.8.7.2

canceled #16791
fp-timing
build-coq.8.8.0

00:05:32

canceled #16790
fp
build-coq.8.8.1

00:05:59

passed #16789
fp
build-coq.dev

00:04:49