Remove spurious space.

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

00:10:04

passed build-coq.8.10.1 #47053
fp-timing

00:06:58

passed build-coq.8.8.2 #47057
fp

00:09:14

passed build-coq.8.9.0 #47056
fp

00:09:45

passed build-coq.8.9.1 #47055
fp

00:09:30

passed build-coq.dev #47052
fp

00:17:05