tests: disable veridian (build failure)

2026-08-24 10:14:03 -05:00 · 2026-08-16 13:57:11 +00:00
parent e20511b723
commit f1311e1d8c
2 changed files with 6 additions and 0 deletions
@@ -13,6 +13,9 @@ let
  };

  disabledPackages = [
+    # 2026-08-16: broken dependency "sv-lang"
+    "veridian"
+
    # 2026-07-12: build failure: cpplint_unittest.py:7209: AssertionError
    "cpplint"

@@ -37,6 +37,9 @@ let
    let

      disabled = [
+        # 2026-08-16: broken dependency "sv-lang"
+        "veridian"
+
        # 2026-07-12 dependency z3 has a build failure
        "fstar"