Merge pull request #2436 from hzeller/feature-20250714-keep-7
Toolchain selection broke with bazel 8; force bazel 7 for now.
diff --git a/.bazelversion b/.bazelversion
new file mode 100644
index 0000000..93c8dda
--- /dev/null
+++ b/.bazelversion
@@ -0,0 +1 @@
+7.6.0
diff --git a/.github/bin/check-potential-problems.sh b/.github/bin/check-potential-problems.sh
index c7d9f97..1af0f5f 100755
--- a/.github/bin/check-potential-problems.sh
+++ b/.github/bin/check-potential-problems.sh
@@ -108,9 +108,11 @@
EXIT_CODE=1
fi
-if [ -e .bazelversion ]; then
- echo "Don't use .bazelversion. It is a poorly implemented bazel feature that does not support semantic versioning. Instead, make the repo work with all currently active bazel versions."
- EXIT_CODE=1
-fi
+# Need to skip this until https://github.com/chipsalliance/verible/issues/2435
+# resolved.
+#if [ -e .bazelversion ]; then
+# echo "Don't use .bazelversion. It is a poorly implemented bazel feature that does not support semantic versioning. Instead, make the repo work with all currently active bazel versions."
+# EXIT_CODE=1
+#fi
exit "${EXIT_CODE}"