docs: WP stuckness

5 jobs for master in 14 minutes and 56 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #6545
fp-timing
build-coq.8.6.1

00:06:43

passed #6544
fp-timing
build-coq.8.7.0

00:06:38

 
  Deploy
passed #6546
opam

00:00:14

passed #6547
reverse-deps

00:00:14

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

00:07:55