with reftest normalization, whitelisting Coq 8.11 should not be needed any more

6 jobs for master in 18 minutes and 31 seconds (queued for 4 minutes and 12 seconds)
Status Job ID Name Coverage
  Build
passed #33661
fp
build-coq.8.10.dev

00:12:05

passed #33665
fp
build-coq.8.7.2

00:05:52

passed #33664
fp
build-coq.8.8.2

00:05:50

passed #33663
fp-timing
build-coq.8.9.0

00:05:29

passed #33662
fp
build-coq.8.9.1

00:06:37

passed #33660
fp
build-coq.dev

00:13:26