Merge pull request #150 from andres-erbsen/early-lia #123
andres-erbsennix-action-rocq-9.1.yml
on: push
rocq-core
1m 1s
stdlib-warnings
1m 0s
argosy
55s
atbr
55s
bbv
1m 1s
coinduction
57s
coqutil
2m 19s
dpdgraph-test
56s
equations
1m 0s
flocq
59s
kami
4m 10s
neural-net-coq-interp
1m 1s
paramcoq-test
56s
rocq-lean-import
1m 6s
smtcoq
1m 54s
stdpp
58s
tlc
1m 0s
waterproof
2m 11s
stdlib-refman-html
56s
rocq-elpi-test
1m 1s
quickchick-test
1m 5s
http
3m 0s
fcsl-pcm
3m 11s
Verdi
1m 9s
mathcomp-word
1m 10s
deriving
1m 7s
mathcomp-algebra-tactics
2m 50s
mathcomp
1m 10s
mathcomp-analysis-stdlib
1m 1s