Coq CI does not need opam.pins any more

3 jobs for master in 6 minutes and 45 seconds
Status Name Job ID Coverage
  Build
passed build-coq8.6.1 #3829
fp-timing

00:02:50

passed build-coq8.7 #3828
fp-timing

00:06:31

 
  Opam
passed opam #3830

00:00:13