Merge pull request #107 from proux01/cleanup-dev-ci #40
proux01nix-action-rocq-master.yml
on: push
coq
2m 43s
argosy
4m 6s
atbr
4m 30s
bbv
3m 49s
coinduction
1m 48s
coq-performance-tests
15m 21s
coq-tools
6m 55s
cross-crypto
6m 26s
dpdgraph-test
1m 44s
engine-bench
5m 26s
fiat-parsers
5m 21s
itauto
2m 54s
neural-net-coq-interp
2m 15s
paramcoq-test
1m 46s
perennial
12m 28s
sf
3m 22s
smtcoq
2m 16s
stdlib-refman-html
3m 59s
stdlib-test
4m 4s
tlc
1m 59s
waterproof
2m 22s
mtac2
2m 42s
equations-test
2m 23s
coq-elpi-test
2m 16s
compcert
5m 16s
vst
15m 20s
coq-hammer
1m 45s
stalmarck-tactic
1m 46s
relation-algebra
2m 44s
category-theory
6m 55s
quickchick-test
3m 13s
VerdiRaft
6m 36s
iris-examples
9m 31s
jasmin
8m 58s
mathcomp-experimental-reals
2m 18s
metacoq-test
3m 29s
mathcomp-analysis-stdlib
10m 20s
odd-order
9m 54s
mathcomp-test
7m 57s