use ! when possible to avoid overzealous generalization

6 jobs for master in 12 minutes and 24 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #25997
fp
build-coq.8.7.1

00:05:11

passed #25996
fp
build-coq.8.7.2

00:05:42

passed #25995
fp-timing
build-coq.8.8.0

00:04:48

passed #25994
fp
build-coq.8.8.2

00:05:42

passed #25993
fp-timing
build-coq.8.9.0

00:05:17

passed #25992
fp
build-coq.dev

00:12:24