tree 27deb8f08a26353c204652373e905a795f1ceffe
parent 26ac40be2815e0f190970282382da01bd63f9656
author Philipp Wollermann <philwo@google.com> 1515167886 +0100
committer Philipp Wollermann <philwo@google.com> 1515168033 +0100

Use twice as big, but half as many Jenkins worker VMs.

Also give them local SSDs, which I'd like to use to speed up
build performance even more.