don't delay opam publishing until after the 8.7.dev build

5 jobs for master in 8 minutes and 25 seconds (queued for 4 minutes and 20 seconds)
Status Job ID Name Coverage
  Build
passed #6047
fp-timing
build-coq.8.6.1

00:03:44

passed #6046
fp-timing
build-coq.8.7.0

00:03:33

 
  Deploy
passed #6048
opam

00:00:13

passed #6049
reverse-deps

00:00:13

 
  Build More
passed #6050
fp-timing
build-coq.8.7.dev

00:03:50