We usually fail faster to prove IntoPure than Absorbing/Affine.

3 jobs for gen_proofmode in 14 minutes and 13 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.7.1 #9252
fp

00:03:53

passed build-coq.8.7.2 #9251
fp-timing

00:03:34

passed build-coq.dev #9250
fp

00:14:13