allow 8.11 job to fail while we investigate

7 jobs for master in 33 minutes and 16 seconds (queued for 16 minutes and 2 seconds)
Status Job ID Name Coverage
  Build
passed #48326
fp-timing
build-coq.8.10.1

00:03:30

passed #48334
fp
build-coq.8.11.dev

00:10:34

passed #48329
fp
build-coq.8.7.2

00:03:14

passed #48328
fp
build-coq.8.8.2

00:03:01

passed #48327
fp
build-coq.8.9.1

00:03:42

passed #48324
fp
build-coq.dev

00:11:36

failed #48325
fp allowed to fail
build-coq.8.11.dev

00:08:12