Remove more new lines.

5 jobs for master in 14 minutes and 12 seconds (queued for 4 minutes and 12 seconds)
Status Job ID Name Coverage
  Build
passed #56694
fp
build-coq.8.10.2

00:07:18

passed #56693
fp-timing
build-coq.8.11.0

00:08:09

passed #56696
fp
build-coq.8.8.2

00:06:43

passed #56695
fp
build-coq.8.9.1

00:07:07

failed #56692
fp
build-coq.dev

00:11:43

 
Name Stage Failure
failed
build-coq.dev Build
Makefile.coq:430: recipe for target 'validate' failed
make[1]: Leaving directory '/builds/iris/iris'
Makefile:3: recipe for target 'validate' failed
make: *** [validate] Error 2

real 0m26.080s
user 0m25.476s
sys 0m0.528s
ERROR: Job failed: exit code 1