Remove spurious argument.

6 jobs for master in 16 minutes and 41 seconds
Status Job ID Name Coverage
  Build
passed #46921
fp
build-coq.8.10.0

00:09:59

passed #46920
fp-timing
build-coq.8.10.1

00:06:58

passed #46924
fp
build-coq.8.8.2

00:09:02

passed #46923
fp
build-coq.8.9.0

00:09:42

passed #46922
fp
build-coq.8.9.1

00:09:43

passed #46919
fp
build-coq.dev

00:16:41