update CI

2 jobs for master in 38 minutes and 17 seconds
Status Job ID Name Coverage
  Build
passed #8410
fp
build-coq.8.6.1

00:24:32

passed #8409
fp-timing
build-coq.8.7.1

00:21:22