| commit | ee52370a8d7621c804b25e4f7dc627e3f9a98ed1 | [log] [tgz] |
|---|---|---|
| author | Philipp Wollermann <philwo@google.com> | Mon Feb 26 18:12:55 2018 +0100 |
| committer | Philipp Wollermann <philwo@google.com> | Mon Feb 26 18:12:55 2018 +0100 |
| tree | de60e90215e0da54e18aaab0f645b3b9e001f09b | |
| parent | 32dedb9cacfffa7c14072e9a1726e33073440e05 [diff] |
Add support for a dedicated pipeline machine and improve the infra scripts.