[build] Fix missing deps in dune rule for All.v file #548
ejgallegonix-action-rocq-9.0.yml
on: pull_request_target
rocq-core
1m 4s
stdlib-warnings
3m 58s
argosy
1m 3s
atbr
55s
bbv
1m 6s
coinduction
1m 5s
coqutil
1m 15s
dpdgraph-test
1m 4s
flocq
1m 1s
kami
1m 18s
neural-net-coq-interp
1m 4s
paramcoq-test
1m 0s
rocq-lean-import
1m 11s
smtcoq
1m 5s
stdpp
59s
tlc
58s
waterproof
1m 0s
stdlib-refman-html
1m 5s
rocq-elpi-test
1m 6s
quickchick-test
1m 6s
metarocq-translations
1m 3s
http
2m 18s
fcsl-pcm
1m 13s
Verdi
1m 4s
mathcomp-word
1m 8s
deriving
1m 12s
mathcomp-algebra-tactics
1m 6s
mathcomp
1m 5s
mathcomp-analysis-stdlib
1m 14s