Merge branch 'swasey/progress2' into 'master'

Add stuckness bits to WP.

See merge request FP/iris-coq!80
5 jobs for master in 2 minutes and 42 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
failed build-coq.8.6.1 #6297
fp-timing

00:02:41

failed build-coq.8.7.0 #6296
fp-timing

00:02:30

 
  Deploy
skipped opam #6298
skipped reverse-deps #6299
 
  Build More
skipped build-coq.8.7.dev #6300
fp-timing
 
Name Stage Failure
failed
build-coq.8.6.1 Build There is an unknown failure, please try again
make[1]: Target 'all' not remade because of errors.
make[1]: Leaving directory '/builds/FP/iris-coq'
Makefile:6: recipe for target 'all' failed
make: *** [all] Error 2

real 1m35.860s
user 5m16.663s
sys 0m16.293s
ERROR: Job failed: exit code 1
failed
build-coq.8.7.0 Build There is an unknown failure, please try again
make[1]: *** [all] Error 2
make[1]: Leaving directory '/builds/FP/iris-coq'
Makefile:6: recipe for target 'all' failed
make: *** [all] Error 2

real 1m28.328s
user 4m42.833s
sys 0m15.933s
ERROR: Job failed: exit code 1