reduce to 1 job per pipeline

1 job for master in 12 minutes and 3 seconds (queued for 46 minutes and 35 seconds)
Status Job ID Name Coverage
  Build
passed #46002
fp-timing
build-coq.8.9.0

00:12:03