Merge pull request #105 from proux01/compile-make #38
proux01nix-action-rocq-9.0.yml
on: push
coq
1m 15s
argosy
1m 15s
atbr
1m 15s
bbv
1m 19s
coinduction
1m 16s
coq-performance-tests
15m 42s
coq-tools
6m 59s
cross-crypto
6m 34s
dpdgraph-test
1m 42s
engine-bench
5m 26s
itauto
1m 22s
neural-net-coq-interp
1m 14s
paramcoq-test
1m 44s
sf
3m 29s
smtcoq
2m 16s
stdlib-refman-html
1m 23s
stdlib-test
1m 15s
tlc
1m 20s
waterproof
1m 18s
mtac2
1m 19s
equations-test
2m 21s
coq-elpi-test
1m 15s
compcert
4m 42s
vst
15m 15s
coq-hammer
1m 20s
stalmarck-tactic
1m 46s
relation-algebra
4m 29s
category-theory
8m 33s
jasmin
5m 15s
mathcomp-experimental-reals
3m 6s
metacoq-test
3m 14s
mathcomp-analysis-stdlib
10m 21s
odd-order
9m 49s
mathcomp-test
8m 12s
Annotations
1 error
|
jasmin
Process completed with exit code 1.
|