tree 5743478dd4651ddd51b1e72e76f59922a437da1d
parent 00f2436bf3b63caeaf13220963cda6cea2cb3a72
author Gilles Peskine <Gilles.Peskine@arm.com> 1587929202 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1588282263 +0200

Travis: rebalance the Linux builds

Make the running time more even.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>