diff --git a/ci/push_auto_update.sh b/ci/push_auto_update.sh
index 3ee0ec031f50..d1edbd0a0858 100755
--- a/ci/push_auto_update.sh
+++ b/ci/push_auto_update.sh
@@ -19,6 +19,8 @@ if (echo "$previous_commit_title" | grep -q "^Auto-generate files"); then
   exit 0
 fi
 
+BAZEL=bazelisk
+USE_BAZEL_VERSION=7.2.1
 ./regenerate_stale_files.sh
 
 # Try to determine the most recent CL or pull request.