comment CI

2 jobs for master
Status Job ID Name Coverage
  Test
canceled #8336
fp
build-coq.8.6.1

canceled #8335
fp-timing
build-coq.8.7.1