starred/nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2026-09-25 16:50:23 -04:00
Code Issues Packages Projects Releases Wiki Activity

tests: disable lean4 (build failure)

Browse Source 
Skip the lean4 package, server, and dependency test paths while the
locked package fails to install. Keep runtime defaults unchanged.

Re-enable after a future lockfile includes the fix from:
https://github.com/NixOS/nixpkgs/pull/563148
This commit is contained in:
Austin Horstman
2026-09-21 03:32:41 +00:00
parent 9f5d762000
commit bcb5f577a3
4 changed files with 24 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/all-package-defaults.nix
+4
View File
@@ -13,6 +13,10 @@ let
};
disabledPackages = [
# 2026-09-20: lean4 install prefix build failure
# Re-enable when a future lockfile includes https://github.com/NixOS/nixpkgs/pull/563148.
"lean4"
# 2026-08-16: broken dependency "sv-lang"
"veridian"
tests/lsp-servers.nix
+4
View File
@@ -37,6 +37,10 @@ let
let
disabled = [
# 2026-09-20: lean4 install prefix build failure
# Re-enable when a future lockfile includes https://github.com/NixOS/nixpkgs/pull/563148.
"lean3ls"
# 2026-08-16: broken dependency "sv-lang"
"veridian"
tests/test-sources/modules/dependencies.nix
+4
View File
@@ -3,6 +3,10 @@ let
inherit (pkgs.stdenv) hostPlatform;
disabledDeps = [
# 2026-09-20: lean4 install prefix build failure
# Re-enable when a future lockfile includes https://github.com/NixOS/nixpkgs/pull/563148.
"lean"
# TODO: 2025-10-03
# Transient dependency `vmr` has a build failure
# https://github.com/NixOS/nixpkgs/issues/431811
tests/test-sources/plugins/by-name/lean/default.nix
+12
View File
@@ -1,5 +1,9 @@
{
empty = {
# 2026-09-20: lean4 install prefix build failure
# Re-enable when a future lockfile includes https://github.com/NixOS/nixpkgs/pull/563148.
dependencies.lean.enable = false;
# TODO 2025-10-01
# Calls `require("lspconfig")` which is deprecated, producing a warning
test.runNvim = false;
@@ -10,6 +14,10 @@
# Enable the `leanls` LSP directly from `plugins.lsp`. This implies explicitly disabling the lsp
# in the `lean` plugin configuration.
lspDisabled = {
# 2026-09-20: lean4 install prefix build failure
# Re-enable when a future lockfile includes https://github.com/NixOS/nixpkgs/pull/563148.
dependencies.lean.enable = false;
plugins = {
lsp = {
enable = true;
@@ -29,6 +37,10 @@
};
default = {
# 2026-09-20: lean4 install prefix build failure
# Re-enable when a future lockfile includes https://github.com/NixOS/nixpkgs/pull/563148.
dependencies.lean.enable = false;
# TODO 2025-10-01
# Calls `require("lspconfig")` which is deprecated, producing a warning
test.runNvim = false;