From 9c87d223ee810cf536ae3712aec654bf720b6331 Mon Sep 17 00:00:00 2001
From: Joey Perrott <josephperrott.github@gmail.com>
Date: Wed, 26 Jun 2019 12:13:50 -0700
Subject: [PATCH] ci: target default pool for linux RBE executions (#31297)

PR Close #31297
---
 tools/BUILD.bazel | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tools/BUILD.bazel b/tools/BUILD.bazel
index 729fd5c0df..bc15391f84 100644
--- a/tools/BUILD.bazel
+++ b/tools/BUILD.bazel
@@ -22,5 +22,9 @@ platform(
             name: "dockerAddCapabilities"
             value: "SYS_ADMIN"
         }
+        properties: {
+            name: "Pool"
+            value: "default"
+        }
         """,
 )