[setup] Switch preferred bazel mirror to github.com (RobotLocomotion#…

…21324)
mjcarroll · Apr 18, 2024 · c10078b · c10078b
1 parent 699b26f
commit c10078b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.bazeliskrc b/.bazeliskrc
@@ -1,3 +1,7 @@
 # When bazelisk in use (as is typical, per Drake install_prereqs), this dotfile
 # specifies which version of Bazel should be used to build and test Drake.
 USE_BAZEL_VERSION=7.0.2
+
+# For some reason the google mirrors are very flaky in Drake CI in EC2, so
+# we'll point to the GitHub mirrors instead.
+BAZELISK_BASE_URL=https://github.com/bazelbuild/bazel/releases/download