Another absorbing instance for wand.

2 jobs for gen_proofmode in 7 minutes and 13 seconds (queued for 1 second)
Status Name Job ID Coverage
  Deploy
passed opam #6280

00:00:14

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

00:06:59