Coq 8.11 is fixed

6 jobs for master in 11 minutes and 23 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #48337
fp-timing
build-coq.8.10.1

00:04:27

passed #48336
fp
build-coq.8.11.dev

00:11:08

passed #48340
fp
build-coq.8.7.2

00:04:32

passed #48339
fp
build-coq.8.8.2

00:03:54

passed #48338
fp
build-coq.8.9.1

00:05:13

passed #48335
fp
build-coq.dev

00:11:23