Merge pull request #117 from SkySkimmer/constrextern-max-depth #74
ppedrotnix-action-rocq-master.yml
on: push
coq
1m 14s
coq-elpi
1m 20s
rocq-core
1m 19s
rocq-elpi
1m 16s
stdlib-html
3m 52s
coq-elpi-test
1m 9s
stdlib-subcomponents
6m 5s
stdlib-test
7m 22s
argosy
2m 28s
atbr
2m 57s
bbv
2m 9s
coinduction
1m 52s
coq-performance-tests
15m 35s
coq-tools
7m 5s
cross-crypto
6m 42s
dpdgraph-test
1m 45s
engine-bench
5m 28s
fiat-parsers
5m 20s
itauto
2m 59s
neural-net-coq-interp
2m 18s
paramcoq-test
1m 47s
perennial
12m 28s
sf
3m 28s
smtcoq
2m 11s
stdlib-refman-html
3m 59s
tlc
2m 5s
waterproof
2m 26s
mtac2
2m 14s
equations-test
2m 22s
compcert
4m 40s
vst
15m 36s
coq-hammer
1m 57s
smtcoq-trakt
2m 27s
stalmarck-tactic
1m 48s
relation-algebra
4m 18s
category-theory
7m 6s
deriving
4m 1s
coquelicot
3m 51s
quickchick-test
2m 41s
VerdiRaft
6m 37s
fourcolor
15m 21s
fcsl-pcm
4m 46s
http
2m 33s
fiat-crypto-ocaml
14m 56s
jasmin
8m 48s
mathcomp-analysis-stdlib
10m 27s
metacoq-test
3m 23s