diff options
| author | GitHub <noreply@github.com> | 2022-03-20 03:03:36 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-20 03:03:36 +0000 |
| commit | 3fa7357df93e14ccc78fc0a9f1b235fc88a487b8 (patch) | |
| tree | 01991ee159792a72d5ef7562758d149cad30053c | |
| parent | 5cb81796cbd521df4e0336bfc6c1595d4d7b04bf (diff) | |
| download | rabbitmq-server-git-3fa7357df93e14ccc78fc0a9f1b235fc88a487b8.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 5f746bf2b3..b5535336c2 100644 --- a/WORKSPACE.bazel +++ b/WORKSPACE.bazel @@ -34,7 +34,7 @@ buildbuddy( git_repository( name = "rbe_23", - commit = "35a7b692bd31770480b9be4cf991e4474673ce02", + commit = "a3f419b41c2141052d227fcd1dc5fa56fa5ac38e", remote = "https://github.com/rabbitmq/rbe-erlang-platform.git", ) |