fix README

7 jobs for ci/ralf/ref in 10 minutes and 56 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #22039
fp
build-coq.8.7.1

00:05:12

passed #22038
fp
build-coq.8.7.2

00:05:11

passed #22037
fp-timing
build-coq.8.8.0

00:04:43

passed #22036
fp
build-coq.8.8.1

00:05:39

passed #22035
fp
build-coq.8.8.2

00:05:31

passed #22034
fp-timing
build-coq.8.9.dev

00:05:36

passed #22033
fp
build-coq.dev

00:08:13