Clarify structure #217
Triggered via pull request
October 11, 2024 08:55
proux01
Status
Failure
Total duration
1h 44m 49s
Artifacts
–
nix-action-coq-master.yml
on: pull_request
coq
1m 8s
argosy
1m 6s
atbr
1m 8s
bbv
1m 7s
coinduction
1m 54s
coq-performance-tests
15m 53s
coq-tools
7m 37s
cross-crypto
6m 34s
dpdgraph-test
1m 52s
engine-bench
5m 50s
fiat-parsers
5m 25s
itauto
1m 9s
neural-net-coq-interp
1m 9s
paramcoq-test
1m 53s
perennial
12m 39s
sf
3m 34s
smtcoq
2m 52s
stdlib-refman-html
1m 9s
stdlib-test
1m 7s
tlc
1m 6s
waterproof
2m 21s
mtac2
2m 19s
equations-test
1m 10s
compcert
5m 0s
vst
15m 20s
coq-hammer
1m 7s
stalmarck-tactic
1m 10s
relation-algebra
3m 6s
category-theory
7m 12s
quickchick-test
2m 49s
VerdiRaft
6m 45s
iris-examples
5m 51s
fiat-crypto
43m 34s
fcsl-pcm
4m 33s
http
0s
mathcomp-analysis
11m 54s
odd-order
11m 3s
mathcomp-test
1m 13s
Annotations
1 error
|
json
Process completed with exit code 1.
|