[CI] Update Nix toolbox #63
proux01nix-action-rocq-master.yml
on: pull_request
coq
1m 13s
coq-elpi
1m 14s
coq-elpi-test
1m 10s
stdlib-html
5m 58s
stdlib-subcomponents
3m 35s
stdlib-test
5m 55s
argosy
1m 51s
atbr
2m 25s
bbv
1m 41s
coinduction
1m 43s
coq-performance-tests
15m 15s
coq-tools
6m 49s
cross-crypto
6m 24s
dpdgraph-test
1m 37s
engine-bench
5m 18s
fiat-parsers
5m 8s
itauto
2m 54s
neural-net-coq-interp
2m 11s
paramcoq-test
1m 42s
perennial
12m 20s
sf
3m 18s
smtcoq
2m 11s
stdlib-refman-html
3m 49s
tlc
1m 57s
waterproof
2m 17s
mtac2
1m 59s
equations-test
2m 27s
compcert
5m 36s
vst
16m 38s
coq-hammer
1m 41s
smtcoq-trakt
0s
stalmarck-tactic
1m 49s
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 27s
jasmin
0s
mathcomp-analysis-stdlib
0s
metacoq-test
3m 11s
Annotations
5 errors
|
coq-elpi-test
Process completed with exit code 1.
|
|
hierarchy-builder
Process completed with exit code 1.
|
|
stdlib-test
Process completed with exit code 1.
|
|
trakt
Process completed with exit code 1.
|
|
corn
Process completed with exit code 1.
|