| commit | f3bbfccd57c8859448829c56b7c64bec6f4cf3e3 | [log] [tgz] |
|---|---|---|
| author | David Ostrovsky <david@ostrovsky.org> | Fri Dec 01 11:52:53 2023 +0100 |
| committer | GitHub <noreply@github.com> | Fri Dec 01 11:52:53 2023 +0100 |
| tree | 65c79d42c8c7802b13ed11cc80ad0bf7f6bea350 | |
| parent | f9f27f6a16664c77bf73461bb83da115efeee1a1 [diff] |
Re-add RBE platform to gerrit pipeline (#1828) Closes #1820. To correctly activate RBE platfor--remote_executor option must be specified in gerrit.yml: --remote_executor=grpcs://remotebuildexecution.googleapis.com