tree d957cedbc1cdecdcec87358e49d36d9773c1d45b
parent 4ae9a90c0572ee68c2b40d5d79ab49629dce5436
author Luca Milanesio <luca.milanesio@gmail.com> 1493041865 +0200
committer Luca Milanesio <luca.milanesio@gmail.com> 1493041867 +0200

Run up to 15 concurrent changes verifications

With the extra power provided by GoogleCloud, we can run many
more concurrent changes verifications.

Change-Id: I92e3a0fe2e3380027d490e4bb727c1a5733bcf9c