dune generate unsorted All.v #127
Triggered via pull request
February 3, 2026 17:02
SkySkimmer
SkySkimmer
synchronize
#231
Status
Success
Total duration
58m 48s
Artifacts
–
nix-action-rocq-9.1.yml
on: pull_request_target
rocq-core
58s
stdlib-warnings
3m 52s
argosy
1m 49s
atbr
2m 23s
bbv
1m 34s
coinduction
1m 41s
coqutil
2m 18s
dpdgraph-test
1m 24s
equations
1m 30s
flocq
2m 42s
kami
4m 28s
neural-net-coq-interp
2m 11s
paramcoq-test
1m 29s
rocq-lean-import
1m 42s
smtcoq
2m 5s
stdpp
2m 41s
tlc
1m 46s
waterproof
2m 8s
stdlib-refman-html
3m 47s
rocq-elpi-test
2m 14s
quickchick-test
3m 23s
http
3m 40s
fcsl-pcm
2m 57s
Verdi
2m 6s
mathcomp-word
2m 7s
deriving
2m 0s
mathcomp-algebra-tactics
2m 54s
mathcomp
1m 30s
mathcomp-analysis-stdlib
2m 17s