diff options
author | GitHub <noreply@github.com> | 2021-11-19 03:03:36 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-19 03:03:36 +0000 |
commit | f0ef661411abf902e1baeb7b94c7526a88bc1d2f (patch) | |
tree | 3b54d159cd67efbbe42667bb41e6af0f2ef9b310 | |
parent | 262063edc72c69435ce94e64a6ae40c7c12afa14 (diff) | |
download | rabbitmq-server-git-f0ef661411abf902e1baeb7b94c7526a88bc1d2f.tar.gz |
Use latest rbe-erlang-platform/linux-erlang-23.3
for remote build execution (RBE) with BuildBuddy
-rw-r--r-- | WORKSPACE.bazel | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/WORKSPACE.bazel b/WORKSPACE.bazel index 006f3b6b31..b8e9225879 100644 --- a/WORKSPACE.bazel +++ b/WORKSPACE.bazel @@ -34,7 +34,7 @@ buildbuddy( git_repository( name = "rbe_23", - commit = "13b3045476b02aaaa2c91030fdaff91e7ab9bced", + commit = "d2b454dc5138a2a92de45a0a672241a4fbb5a1e5", remote = "https://github.com/rabbitmq/rbe-erlang-platform.git", ) |