Skip to content

feat: textDocument/foldingRange#1256

Open
KacperFKorban wants to merge 14 commits into
rocq-prover:mainfrom
KacperFKorban:folding-ranges
Open

feat: textDocument/foldingRange#1256
KacperFKorban wants to merge 14 commits into
rocq-prover:mainfrom
KacperFKorban:folding-ranges

fix compat for constr walks in 8.18 and 8.19

3f019a1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings)
succeeded Jun 12, 2026 in 6m 0s