Merge pull request #118 from Villetaneuse/from_stdlib_warnings #80
Villetaneusenix-action-rocq-master.yml
on: push
coq
1m 16s
coq-elpi
1m 19s
rocq-core
1m 14s
rocq-elpi
1m 15s
stdlib-html
1m 13s
coq-elpi-test
1m 12s
stdlib-subcomponents
1m 20s
stdlib-test
4m 9s
argosy
1m 14s
atbr
1m 18s
bbv
1m 42s
coinduction
1m 39s
coq-performance-tests
15m 26s
coq-tools
6m 53s
cross-crypto
6m 22s
dpdgraph-test
1m 41s
engine-bench
1m 18s
fiat-parsers
5m 18s
itauto
1m 15s
neural-net-coq-interp
2m 13s
paramcoq-test
1m 51s
perennial
12m 36s
sf
3m 24s
smtcoq
2m 14s
stdlib-refman-html
1m 20s
tlc
1m 59s
waterproof
1m 19s
mtac2
1m 12s
equations-test
1m 18s
compcert
1m 38s
vst
15m 33s
coq-hammer
1m 14s
smtcoq-trakt
1m 16s
stalmarck-tactic
1m 18s
relation-algebra
1m 23s
category-theory
1m 15s
deriving
1m 19s
coquelicot
1m 15s
quickchick-test
2m 41s
VerdiRaft
6m 50s
fourcolor
13m 22s
fcsl-pcm
2m 46s
http
2m 26s
fiat-crypto-ocaml
13m 38s
jasmin
8m 31s
mathcomp-analysis-stdlib
10m 20s
metacoq-test
3m 6s