WP def.n tweaking

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

00:03:02

passed #6576
fp-timing
build-coq.8.7.0

00:02:54

 
  Deploy
passed #6578
opam

00:00:15

passed #6579
reverse-deps

00:00:15

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

00:03:47