[CI] Update Nix toolbox #61
Triggered via pull request
February 28, 2025 21:52
proux01
Status
Failure
Total duration
2h 9m 24s
Artifacts
–
nix-action-rocq-9.0.yml
on: pull_request
coq
1m 10s
stdlib-html
3m 59s
stdlib-subcomponents
1m 39s
stdlib-test
4m 1s
argosy
2m 2s
atbr
2m 26s
bbv
1m 15s
coinduction
1m 44s
coq-performance-tests
15m 43s
coq-tools
7m 0s
cross-crypto
6m 28s
dpdgraph-test
1m 10s
engine-bench
5m 31s
itauto
3m 0s
neural-net-coq-interp
2m 12s
paramcoq-test
1m 10s
sf
1m 19s
smtcoq
2m 11s
stdlib-refman-html
3m 57s
tlc
2m 3s
waterproof
2m 20s
coq-elpi-test
2m 15s
mtac2
1m 11s
equations-test
1m 11s
compcert
2m 5s
vst
15m 7s
coq-hammer
1m 45s
stalmarck-tactic
1m 43s
smtcoq-trakt
2m 17s
fiat-crypto-legacy
17m 32s
corn
7m 59s
relation-algebra
2m 53s
category-theory
6m 52s
deriving
2m 20s
coquelicot
2m 16s
quickchick-test
2m 53s
VerdiRaft
6m 37s
iris-examples
5m 34s
fiat-crypto-ocaml
13m 35s
jasmin
9m 18s
mathcomp-analysis-stdlib
2m 15s
Annotations
4 errors
|
stdlib-subcomponents
Process completed with exit code 1.
|
|
stdlib-test
Process completed with exit code 1.
|
|
stdlib-refman-html
Process completed with exit code 1.
|
|
compcert
Process completed with exit code 1.
|