Status Job Pipeline Stage Name Timing Coverage
passed #10577
ci/ralf/ci
d4d2283a
fp
#7903 by Ralf Jung's avatar build build-coq.8.7.2

00:17:40

passed #10570
ci/ralf/ci
a2230008
fp
#7900 by Ralf Jung's avatar build build-coq.8.6.1

00:23:10

passed #10569
ci/ralf/ci
a2230008
fp
#7900 by Ralf Jung's avatar build build-coq.8.7.2

00:21:49