Toolchain selection broke with bazel 8; force bazel 7 for now.

More context in issue #2435

.bazelversion

diff --git a/.bazelversion b/.bazelversion
new file mode 100644
index 0000000..93c8dda
--- /dev/null
+++ b/.bazelversion
@@ -0,0 +1 @@
+7.6.0

.github/bin/check-potential-problems.sh

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}"