Remove spurious space.

6 jobs for master in 17 minutes and 5 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #47054
fp
build-coq.8.10.0

00:10:04

passed #47053
fp-timing
build-coq.8.10.1

00:06:58

passed #47057
fp
build-coq.8.8.2

00:09:14

passed #47056
fp
build-coq.8.9.0

00:09:45

passed #47055
fp
build-coq.8.9.1

00:09:30

passed #47052
fp
build-coq.dev

00:17:05