CI: sync

4 jobs for master
Status Job ID Name Coverage
  Build
canceled #4102
fp-timing
build-coq.8.6.1

canceled #4101
fp-timing
build-coq.8.7

 
  Deploy
canceled #4103
opam

canceled #4104
reverse-deps