do timing measurements

2 jobs for master in 15 minutes and 44 seconds (queued for 10 minutes and 6 seconds)
Status Job ID Name Coverage
  Build
passed #26979
fp-timing
build-coq.8.9.0

00:09:13

passed #26978
fp
build-coq.dev

00:15:44