Skip to content

v0.71.1
Compare
Choose a tag to compare
@github-actions github-actions released this 31 Jan 00:07
· 612 commits to main since this release
v0.71.1
This tag was signed with the committer’s verified signature.
d-biehl Daniel Biehl
GPG key ID: 2D77F7B899B8D6B0
Verified
Learn about vigilant mode.
92c3802
This commit was signed with the committer’s verified signature.
d-biehl Daniel Biehl
GPG key ID: 2D77F7B899B8D6B0
Verified
Learn about vigilant mode.

Bug Fixes

  • diagnostics: Library doc are now correctly unloaded when they are no longer needed (df6762a)
  • vscode: Remove unneeded "test" badge on the explorer icon (4f012b4)

Performance

  • langserver: Remove unneeded double caching of library imports (3de0882)

Refactor

  • core: Add locks with default_timouts in documents actions (5eab74e)
Assets 23
Loading