multi-package repositories

4 jobs for ci/ralf/multi-package in 13 minutes and 18 seconds (queued for 6 minutes)
Status Job ID Name Coverage
  Build
passed #96302
fp
build-coq.8.10.2

00:07:53

passed #96301
fp
build-coq.8.11.2

00:08:01

passed #96300
fp-timing
build-coq.8.12.0

00:06:47

passed #96299
fp
build-coq.dev

00:13:18