[CI] Update Nix toolbox #60
proux01nix-action-rocq-9.0.yml
on: pull_request_target
coq
1m 9s
argosy
1m 59s
atbr
2m 32s
bbv
1m 47s
coinduction
1m 44s
coq-performance-tests
15m 54s
coq-tools
7m 8s
cross-crypto
6m 30s
dpdgraph-test
1m 46s
engine-bench
5m 41s
itauto
2m 58s
neural-net-coq-interp
2m 16s
paramcoq-test
1m 51s
sf
3m 30s
smtcoq
2m 17s
stdlib-refman-html
3m 55s
stdlib-test
4m 8s
tlc
2m 3s
waterproof
2m 23s
mtac2
2m 10s
equations-test
2m 30s
coq-elpi-test
2m 10s
compcert
2m 36s
vst
15m 24s
coq-hammer
1m 50s
stalmarck-tactic
1m 50s
relation-algebra
2m 49s
category-theory
6m 53s
quickchick-test
2m 45s
VerdiRaft
6m 44s
iris-examples
5m 38s
jasmin
9m 15s
mathcomp-experimental-reals
2m 16s
metacoq-test
3m 16s
mathcomp-analysis-stdlib
2m 11s
odd-order
9m 33s
mathcomp-test
7m 33s
Annotations
4 errors
|
stdlib-subcomponents
Process completed with exit code 1.
|
|
stdlib-refman-html
Process completed with exit code 1.
|
|
stdlib-test
Process completed with exit code 1.
|
|
compcert
Process completed with exit code 1.
|