tree de60e90215e0da54e18aaab0f645b3b9e001f09b
parent 32dedb9cacfffa7c14072e9a1726e33073440e05
author Philipp Wollermann <philwo@google.com> 1519665175 +0100
committer Philipp Wollermann <philwo@google.com> 1519665175 +0100

Add support for a dedicated pipeline machine and improve the infra scripts.