don't try to be smart about having an up-to-date opam

4 jobs for master in 3 minutes and 55 seconds (queued for 1 minute and 58 seconds)
Status Job ID Name Coverage
  Build
passed #4309
fp-timing
build-coq.8.6.1

00:02:37

passed #4308
fp-timing
build-coq.8.7

00:02:42

 
  Deploy
passed #4310
opam

00:00:13

passed #4311
reverse-deps

00:00:13