honor COQBIN

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

canceled build-coq.8.7.1 #7564
fp-timing

 
  Deploy
canceled opam #7566

canceled reverse-deps #7567

 
  Build More
canceled build-coq.8.7.0 #7569
fp-timing

canceled build-coq.8.7.dev #7568
fp-timing