tree 266d3fc2f2c9e9c173cd3125b5ee43eeeb1f0fc0
parent 6e15db7dd9d09d9930673c67471c084df3b806e7
author Philipp Wollermann <philwo@google.com> 1521759149 +0100
committer Philipp Wollermann <philwo@google.com> 1521759198 +0100

Use stateless pipeline workers.