begin a test suite

7 jobs for ci/ralf/test-suite in 15 minutes and 41 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #15120
fp
build-coq.8.6.0

00:03:22

passed #15119
fp
build-coq.8.6.1

00:03:29

passed #15118
fp
build-coq.8.7.0

00:03:29

passed #15117
fp
build-coq.8.7.1

00:07:13

passed #15116
fp-timing
build-coq.8.7.2

00:03:16

passed #15115
fp-timing
build-coq.8.8.0

00:03:19

passed #15114
fp
build-coq.dev

00:05:08