From 960c269f6d80209dc49c42412c2c18d382d90b65 Mon Sep 17 00:00:00 2001 From: Gaetan Lepage Date: Wed, 26 Nov 2025 23:21:53 +0100 Subject: [PATCH] tests/plugins/leanls: disable plugins.lsp.leanls in disableLsp --- tests/test-sources/plugins/by-name/lean/default.nix | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/tests/test-sources/plugins/by-name/lean/default.nix b/tests/test-sources/plugins/by-name/lean/default.nix index eca9b1ea..192beae2 100644 --- a/tests/test-sources/plugins/by-name/lean/default.nix +++ b/tests/test-sources/plugins/by-name/lean/default.nix @@ -14,7 +14,11 @@ lsp = { enable = true; - servers.leanls.enable = true; + # FIXME: 2025-11-26: Enabling `plugins.lsp.leanls` throws the following warning: + # The option definition `plugins.lsp.servers.leanls' in ... no longer has any effect; please remove it. + # nvim-lspconfig has switched from its own LSP configuration API to neovim's built-in LSP API. + # 'leanls' has not been updated to support neovim's built-in LSP API. + # servers.leanls.enable = true; }; lean = {