Skip to content

New engine and language server versions arrive as pull requests - #30

Merged
ddehilster merged 1 commit into
mainfrom
chore/automatic-upstream-bumps
Oct 23, 2026
Merged

ddehilster merged 1 commit into
mainfrom
chore/automatic-upstream-bumps

New engine and language server versions arrive as pull requests

272a9b4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Image, smoke-tested as it runs live
succeeded Oct 23, 2026 in 34s