NEw reference for tests.

6 jobs for master in 15 minutes and 7 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #41301
fp
build-coq.8.10.dev

00:12:45

passed #41305
fp
build-coq.8.7.2

00:05:55

passed #41304
fp
build-coq.8.8.2

00:06:50

passed #41303
fp-timing
build-coq.8.9.0

00:05:52

passed #41302
fp
build-coq.8.9.1

00:07:14

passed #41300
fp
build-coq.dev

00:15:07