ci: remove deprecated bazel --batch option#4166
Merged
mattklein123 merged 1 commit intoenvoyproxy:masterfrom Aug 16, 2018
Merged
ci: remove deprecated bazel --batch option#4166mattklein123 merged 1 commit intoenvoyproxy:masterfrom
mattklein123 merged 1 commit intoenvoyproxy:masterfrom