Merge pull request #229 from proux01/ci-update #118
proux01nix-action-rocq-9.1.yml
on: push
rocq-core
58s
stdlib-warnings
56s
argosy
1m 2s
atbr
59s
bbv
1m 0s
coinduction
1m 0s
coqutil
1m 16s
dpdgraph-test
1m 2s
equations
55s
flocq
1m 1s
kami
1m 11s
neural-net-coq-interp
1m 1s
paramcoq-test
57s
rocq-lean-import
1m 0s
smtcoq
1m 0s
stdpp
56s
tlc
55s
waterproof
2m 7s
stdlib-refman-html
1m 0s
rocq-elpi-test
2m 6s
quickchick-test
1m 12s
http
2m 9s
fcsl-pcm
2m 55s
Verdi
1m 3s
mathcomp-word
1m 1s
deriving
1m 1s
mathcomp-algebra-tactics
2m 47s
mathcomp
1m 6s
mathcomp-analysis-stdlib
1m 12s