dune generate unsorted All.v #574
Triggered via pull request
February 3, 2026 17:02
SkySkimmer
SkySkimmer
synchronize
#231
Status
Success
Total duration
1h 8m 58s
Artifacts
–
nix-action-rocq-9.0.yml
on: pull_request_target
rocq-core
1m 1s
stdlib-warnings
3m 57s
argosy
1m 47s
atbr
2m 21s
bbv
1m 24s
coinduction
1m 30s
coqutil
2m 17s
dpdgraph-test
1m 30s
flocq
2m 37s
kami
4m 34s
neural-net-coq-interp
2m 3s
paramcoq-test
1m 31s
rocq-lean-import
1m 49s
smtcoq
1m 58s
stdpp
2m 41s
tlc
1m 44s
waterproof
2m 1s
stdlib-refman-html
3m 52s
rocq-elpi-test
2m 8s
quickchick-test
3m 9s
metarocq-translations
1m 36s
http
3m 50s
fcsl-pcm
3m 35s
Verdi
2m 10s
mathcomp-word
2m 6s
deriving
2m 10s
mathcomp-algebra-tactics
3m 49s
mathcomp
1m 9s
mathcomp-analysis-stdlib
2m 54s