Skip to content

fix: Lean language server consuming excessive memory#11683

Merged
archseer merged 1 commit intohelix-editor:masterfrom gruhn:lean-lsp-memory-limitSep 15, 2024
+1-1

Commits

Commits on Sep 12, 2024