[CI] Update Nix toolbox #65
proux01nix-action-rocq-master.yml
on: pull_request
coq
1m 11s
coq-elpi
1m 8s
rocq-core
1m 14s
rocq-elpi
1m 15s
stdlib-html
3m 52s
coq-elpi-test
1m 17s
stdlib-subcomponents
4m 28s
stdlib-test
6m 2s
argosy
1m 52s
atbr
2m 25s
bbv
1m 45s
coinduction
1m 37s
coq-performance-tests
15m 28s
coq-tools
6m 52s
cross-crypto
6m 20s
dpdgraph-test
1m 50s
engine-bench
5m 27s
fiat-parsers
5m 12s
itauto
2m 54s
neural-net-coq-interp
2m 10s
paramcoq-test
1m 40s
perennial
12m 19s
sf
3m 19s
smtcoq
2m 6s
stdlib-refman-html
3m 50s
tlc
2m 3s
waterproof
2m 17s
mtac2
2m 8s
equations-test
2m 15s
compcert
5m 48s
vst
16m 16s
coq-hammer
1m 40s
smtcoq-trakt
0s
stalmarck-tactic
1m 47s
relation-algebra
0s
category-theory
0s
deriving
0s
coquelicot
0s
quickchick-test
0s
VerdiRaft
0s
fourcolor
0s
fcsl-pcm
0s
http
0s
fiat-crypto-ocaml
1m 38s
jasmin
0s
mathcomp-analysis-stdlib
0s
metacoq-test
3m 13s
Annotations
4 errors
|
hierarchy-builder
Process completed with exit code 1.
|
|
coq-elpi-test
Process completed with exit code 1.
|
|
trakt
Process completed with exit code 1.
|
|
corn
Process completed with exit code 1.
|