Repository navigation

Work with dune 3.25 and lsp 1.28 - #9295

Merged

cknitt merged 2 commits into

Nov 13, 2026

Merged

Work with dune 3.25 and lsp 1.28#9295
cknitt merged 2 commits into
masterfrom
dune-3-25

Commits on Nov 12, 2026
- Work with dune 3.25
  
  cknitt
  and
  claude
  committed
  d2996dc
- Move to lsp 1.28 instead of bounding stdune
  
  cknitt
  and
  claude
  committed
  bb03256