Skip to content

Releases: zacky1972/lean_lsp

v0.2.1

23 May 20:36
@zacky1972 zacky1972
v0.2.1
32ce3f6
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v0.2.1 Latest
Latest

LeanLsp v0.2.1 is a patch release in the v0.2 runtime-preview line.

Highlights:

  • Fixed Docker runtime startup for images whose default ENTRYPOINT can reinterpret
    the managed keepalive container command.
  • Added regression coverage for Issue #72.
  • Kept the package experimental and preview-oriented; this is still not a
    production-ready Lean LSP client.

Links:

  • Changelog: CHANGELOG.md
  • Hex package: lean_lsp
  • HexDocs: lean_lsp documentation
Assets 2
Loading

v0.2.0

17 May 00:17
@zacky1972 zacky1972
v0.2.0
a7e4039
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v0.2.0

LeanLsp v0.2.0 runtime-preview release.

Loading