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.