rerun with a commit whose time does not move backwards

2 jobs for master in 23 minutes and 50 seconds (queued for 17 minutes and 31 seconds)
Status Job ID Name Coverage
  Build
passed #26996
fp-timing
build-coq.8.9.0

00:09:01

passed #26995
fp
build-coq.dev

00:14:48