| commit | a0de8c9d09c5f59bf949c30ea6ffbe4d2a6c4219 | [log] [tgz] |
|---|---|---|
| author | David Ostrovsky <david@ostrovsky.org> | Sat Dec 02 14:26:02 2023 +0100 |
| committer | GitHub <noreply@github.com> | Sat Dec 02 14:26:02 2023 +0100 |
| tree | 9ad7765f780e90caee6dd826e942527a2931b66e | |
| parent | f3bbfccd57c8859448829c56b7c64bec6f4cf3e3 [diff] |
Fix RBE platform for gerrit pipeline (#1829) Closes #1820.