Merge pull request #114 from proux01/ci-update #68
proux01nix-action-rocq-master.yml
on: push
coq
1m 13s
coq-elpi
1m 14s
rocq-core
1m 17s
rocq-elpi
1m 13s
stdlib-html
1m 13s
coq-elpi-test
1m 13s
stdlib-subcomponents
1m 15s
stdlib-test
3m 56s
argosy
1m 13s
atbr
1m 12s
bbv
1m 13s
coinduction
1m 12s
coq-performance-tests
15m 20s
coq-tools
6m 50s
cross-crypto
6m 17s
dpdgraph-test
1m 38s
engine-bench
1m 15s
fiat-parsers
5m 14s
itauto
2m 54s
neural-net-coq-interp
2m 8s
paramcoq-test
1m 12s
perennial
1m 22s
sf
3m 31s
smtcoq
1m 13s
stdlib-refman-html
1m 24s
tlc
1m 13s
waterproof
2m 19s
mtac2
2m 2s
equations-test
1m 12s
compcert
1m 30s
vst
15m 35s
coq-hammer
1m 40s
smtcoq-trakt
1m 14s
stalmarck-tactic
1m 19s
relation-algebra
2m 46s
category-theory
1m 14s
deriving
1m 20s
coquelicot
1m 15s
quickchick-test
2m 36s
VerdiRaft
6m 32s
fourcolor
1m 15s
fcsl-pcm
2m 41s
http
1m 34s
fiat-crypto-ocaml
1m 26s
jasmin
9m 1s
mathcomp-analysis-stdlib
1m 20s
metacoq-test
3m 13s