Get rid of fix/cofix without a name; these are deprecated in Coq 8.8.

7 jobs for master in 13 minutes and 49 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #11350
fp
build-coq.8.6.0

00:02:58

passed #11349
fp
build-coq.8.6.1

00:03:08

passed #11348
fp
build-coq.8.7.0

00:03:07

passed #11347
fp
build-coq.8.7.1

00:02:39

passed #11346
fp-timing
build-coq.8.7.2

00:02:46

passed #11345
fp
build-coq.8.8.0

00:02:39

passed #11344
fp
build-coq.dev

00:13:49