temporarily also time 8.9.1 again

5 jobs for master in 22 minutes and 41 seconds (queued for 2 minutes and 17 seconds)
Status Job ID Name Coverage
  Build
passed #55895
fp
build-coq.8.10.2

00:09:44

passed #55894
fp-timing
build-coq.8.11.0

00:06:37

passed #55897
fp
build-coq.8.8.2

00:08:26

passed #55896
fp-timing
build-coq.8.9.1

00:06:26

passed #55893
fp
build-coq.dev

00:17:14