ci: target default pool for linux RBE executions (#31297)

PR Close #31297
2019-06-26 12:13:50 -07:00 · 2019-06-26 12:13:50 -07:00 · 9c87d223ee
parent 2be061a96e
commit 9c87d223ee
1 changed files with 4 additions and 0 deletions
--- a/tools/BUILD.bazel
+++ b/tools/BUILD.bazel
@ -22,5 +22,9 @@ platform(
            name: "dockerAddCapabilities"
            value: "SYS_ADMIN"
        }
+        properties: {
+            name: "Pool"
+            value: "default"
+        }
        """,
 )