Merge pull request #2399 from hzeller/feature-20250502-update-smoke
Update smoke test expectations.
diff --git a/.github/bin/smoke-test.sh b/.github/bin/smoke-test.sh
index df55fb5..5b59969 100755
--- a/.github/bin/smoke-test.sh
+++ b/.github/bin/smoke-test.sh
@@ -133,16 +133,16 @@
# removed.
declare -A ExpectedFailCount
-ExpectedFailCount[syntax:ibex]=14
-ExpectedFailCount[lint:ibex]=14
-ExpectedFailCount[project:ibex]=211
-ExpectedFailCount[preprocessor:ibex]=385
+ExpectedFailCount[syntax:ibex]=18
+ExpectedFailCount[lint:ibex]=18
+ExpectedFailCount[project:ibex]=221
+ExpectedFailCount[preprocessor:ibex]=394
ExpectedFailCount[syntax:opentitan]=94
ExpectedFailCount[lint:opentitan]=94
-ExpectedFailCount[project:opentitan]=1122
+ExpectedFailCount[project:opentitan]=1123
ExpectedFailCount[formatter:opentitan]=0
-ExpectedFailCount[preprocessor:opentitan]=3029
+ExpectedFailCount[preprocessor:opentitan]=3031
ExpectedFailCount[syntax:sv-tests]=77
ExpectedFailCount[lint:sv-tests]=76
diff --git a/shell.nix b/shell.nix
index f3d0b8d..5531a1a 100644
--- a/shell.nix
+++ b/shell.nix
@@ -12,8 +12,7 @@
name = "verible-build-environment";
buildInputs = with pkgs;
[
- bazel_6
- jdk11
+ bazel_7
git
# For scripts used inside bzl rules and tests
