more consistent grammar

3 jobs for master in 5 minutes and 38 seconds (queued for 2 minutes and 47 seconds)
Status Name Job ID Coverage
  Build
passed build-coq8.6.1 #3755
fp-timing

00:02:44

passed build-coq8.7 #3754
fp-timing

00:02:39

 
  Opam
passed opam #3756

00:00:13