Wellfounded/Inclusion.v add lemma for when the inclusion is partial #32
Triggered via pull request
February 18, 2026 12:46
SkySkimmer
SkySkimmer
opened
#238
Status
Success
Total duration
1h 23m 36s
Artifacts
–
nix-action-rocq-9.2.yml
on: pull_request_target
rocq-core
1m 7s
stdlib-warnings
4m 14s
argosy
1m 50s
atbr
2m 15s
bbv
1m 39s
coinduction
1m 51s
coqutil
2m 18s
dpdgraph-test
1m 36s
equations
1m 36s
flocq
2m 56s
kami
4m 42s
neural-net-coq-interp
2m 10s
paramcoq-test
1m 40s
rocq-lean-import
1m 50s
smtcoq
2m 12s
stdpp
2m 51s
tlc
1m 58s
waterproof
2m 39s
stdlib-refman-html
4m 0s
rocq-elpi-test
2m 29s
quickchick-test
3m 35s
http
3m 22s
fcsl-pcm
3m 10s
Verdi
2m 25s
mathcomp-word
2m 10s
deriving
2m 21s
mathcomp-algebra-tactics
3m 40s
mathcomp
1m 8s
mathcomp-analysis-stdlib
21m 4s