avoid using iAlways ourselves

4 jobs for master in 6 minutes and 36 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
canceled #79810
fp
build-coq.8.10.2

00:06:00

canceled #79809
fp-timing
build-coq.8.11.2

canceled #79808
fp
build-coq.8.12.dev

00:06:36

canceled #79811
fp
build-coq.8.9.1

00:05:24