actually no need to set COQBIN default, it turns out

6 jobs for master in 13 minutes and 21 seconds (queued for 30 minutes and 11 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.6.1 #7577
fp-timing

00:03:16

passed build-coq.8.7.1 #7576
fp-timing

00:03:06

 
  Deploy
passed opam #7578

00:00:13

passed reverse-deps #7579

00:00:13

 
  Build More
passed build-coq.8.7.0 #7581
fp-timing

00:03:06

passed build-coq.8.7.dev #7580
fp-timing

00:03:24