bazel: ci uses deprecated '--batch' cli option #4033
Description
From a recent build I ran:
WARNING: --batch mode is deprecated. Please instead explicitly shut down your Bazel server using the command "bazel shutdown".
{{ message }}
From a recent build I ran:
WARNING: --batch mode is deprecated. Please instead explicitly shut down your Bazel server using the command "bazel shutdown".