Clarify structure #187
Triggered via pull request
September 29, 2024 15:36
proux01
Status
Failure
Total duration
2h 0m 39s
Artifacts
–
nix-action-coq-master.yml
on: pull_request
coq
2m 38s
argosy
2m 1s
atbr
2m 36s
bbv
1m 5s
coinduction
1m 7s
coq-performance-tests
15m 40s
coq-tools
4m 31s
cross-crypto
6m 27s
dpdgraph-test
1m 3s
engine-bench
5m 41s
fiat-parsers
5m 25s
itauto
3m 5s
neural-net-coq-interp
1m 8s
paramcoq-test
1m 6s
perennial
12m 33s
sf
1m 8s
smtcoq
1m 7s
stdlib-refman-html
1m 10s
stdlib-test
1m 6s
tlc
2m 7s
waterproof
2m 21s
mtac2
1m 10s
equations-test
1m 4s
coq-elpi-test
2m 54s
compcert
4m 55s
vst
15m 4s
coq-hammer
1m 4s
stalmarck-tactic
1m 53s
fiat-crypto-legacy
18m 22s
corn
8m 47s
hierarchy-builder-test
2m 24s
smtcoq-trakt
1m 11s
relation-algebra
2m 55s
category-theory
7m 13s
quickchick-test
2m 45s
VerdiRaft
6m 46s
iris-examples
6m 2s
fiat-crypto
48m 12s
fcsl-pcm
2m 46s
http
2m 39s
mathcomp-analysis
10m 5s
odd-order
10m 43s
mathcomp-test
1m 58s
Annotations
1 error
|
coq-tools
Process completed with exit code 1.
|