Merge pull request #2 from coq/clarify-structure #32
proux01nix-action-rocq-9.0.yml
on: push
coq
1m 14s
argosy
1m 15s
atbr
2m 26s
bbv
1m 14s
coinduction
1m 12s
coq-performance-tests
15m 45s
coq-tools
6m 51s
cross-crypto
6m 32s
dpdgraph-test
1m 13s
engine-bench
5m 26s
itauto
3m 0s
neural-net-coq-interp
1m 16s
paramcoq-test
1m 13s
sf
1m 27s
smtcoq
2m 12s
stdlib-refman-html
1m 14s
stdlib-test
1m 17s
tlc
1m 13s
waterproof
1m 12s
mtac2
1m 18s
equations-test
1m 13s
coq-elpi-test
1m 20s
compcert
1m 35s
vst
15m 18s
coq-hammer
1m 13s
stalmarck-tactic
1m 44s
relation-algebra
1m 15s
category-theory
6m 51s
quickchick-test
1m 15s
VerdiRaft
6m 41s
iris-examples
5m 30s
jasmin
5m 21s
mathcomp-experimental-reals
1m 16s
metacoq-test
1m 19s
mathcomp-analysis-stdlib
1m 18s
odd-order
9m 13s
mathcomp-test
7m 43s
Annotations
1 error
|
jasmin
Process completed with exit code 1.
|