nix/12.nixvim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 7

tests: disable fstar

Browse source 
Dependency z3-4.8.5 fails to build.
This commit is contained in:
Matt Sturgeon 2026-07-12 11:34:10 +01:00
parent 7204212dd0
commit b275f90bee
2 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
tests/all-package-defaults.nix
View file

@ -53,6 +53,10 @@ let
"swiftformat"
"swift-format"
]
++ lib.optionals hostPlatform.isLinux [
# 2026-07-12 dependency z3 has a build failure
"fstar"
]
++ lib.optionals (hostPlatform.isLinux && hostPlatform.isAarch64) [
# 2026-06-15: semgrep fails its installCheckPhase
"semgrep"

3
tests/lsp-servers.nix
View file

@ -37,6 +37,9 @@ let
let
disabled = [
# 2026-07-12 dependency z3 has a build failure
"fstar"
# 2026-07-12 dependency python3.frictionless has a build failure
"vectorcode_server"