Status | Job | Pipeline | Stage | Name | Timing | Coverage | |
---|---|---|---|---|---|---|---|
failed |
#24817
fp
|
#14916
by
|
build | build-coq.8.7.0 |
|
|
|
failed |
#24816
fp
|
#14916
by
|
build | build-coq.8.7.1 |
|
|
|
failed |
#24815
fp
|
#14916
by
|
build | build-coq.8.7.2 |
|
|
|
failed |
#24814
fp-timing
|
#14916
by
|
build | build-coq.8.8.0 |
|
|
|
failed |
#24813
fp
|
#14916
by
|
build | build-coq.8.8.1 |
|
|
|
failed |
#24812
fp
|
#14916
by
|
build | build-coq.8.8.2 |
|
|
|
failed |
#24811
fp-timing
|
#14916
by
|
build | build-coq.8.9.0 |
|
|
|
failed |
#24810
fp
|
#14916
by
|
build | build-coq.dev |
|
|
|
canceled |
#23566
fp
|
#14485
by
|
build | build-coq.8.7.0 |
|
|
|
canceled |
#23565
fp
|
#14485
by
|
build | build-coq.8.7.1 |
|
|
|
canceled |
#23564
fp
|
#14485
by
|
build | build-coq.8.7.2 |
|
|
|
canceled |
#23563
fp-timing
|
#14485
by
|
build | build-coq.8.8.0 |
|
|
|
canceled |
#23562
fp
|
#14485
by
|
build | build-coq.8.8.1 |
|
|
|
canceled |
#23561
fp
|
#14485
by
|
build | build-coq.8.8.2 |
|
|
|
canceled |
#23560
fp-timing
|
#14485
by
|
build | build-coq.8.9.0 |
|
|
|
canceled |
#23559
fp
|
#14485
by
|
build | build-coq.dev |
|
|
|
skipped |
#4188
|
#4815
by
|
deploy | opam |
|
||
failed |
#4187
fp-timing
|
#4815
by
|
build | build-coq.8.6 |
|
|
|
failed |
#4186
fp-timing
|
#4815
by
|
build | build-coq.8.6.1 |
|
|
|
failed |
#4185
fp-timing
|
#4815
by
|
build | build-coq.8.7 |
|
|
|
failed |
#4184
fp-timing
|
#4815
by
|
build | build-coq.8.7.dev |
|
|
|
skipped |
#4047
|
#4755
by
|
opam | opam |
|
||
failed |
#4046
fp-timing
|
#4755
by
|
build | build-coq8.6 |
|
|
|
failed |
#4045
fp-timing
|
#4755
by
|
build | build-coq8.6.1 |
|
|
|
failed |
#4044
fp-timing
|
#4755
by
|
build | build-coq8.7 |
|
|
|
failed |
#4043
fp-timing
|
#4755
by
|
build | build-coq8.7.dev |
|
|
|
canceled |
#3724
|
#4603
by
|
opam | opam |
|
|
|
canceled |
#3723
fp-timing
|
#4603
by
|
build | build-coq8.6 |
|
|
|
canceled |
#3722
fp-timing
|
#4603
by
|
build | build-coq8.6.1 |
|
|
|
canceled |
#3721
fp-timing
|
#4603
by
|
build | build-coq8.7 |
|
|