Fix weird thing that should not have worked.

8 jobs for master in 8 minutes and 24 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build-coq.8.7.0 #27179
fp

00:02:43

passed build-coq.8.7.1 #27178
fp

00:02:47

passed build-coq.8.7.2 #27177
fp

00:02:44

passed build-coq.8.8.0 #27176
fp-timing

00:02:41

passed build-coq.8.8.1 #27175
fp

00:02:55

passed build-coq.8.8.2 #27174
fp

00:02:47

passed build-coq.8.9.0 #27173
fp-timing

00:03:08

passed build-coq.dev #27172
fp

00:07:43