tree f5e53bdcbb8b614b9b77411f1cbdc17125063a1b
parent d5c2447b3a4d0778388ebf914fd905c6ab9791ba
author Davide Pesavento <davidepesa@gmail.com> 1587009743 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1587009743 -0400

ci: avoid exceeding Travis time limit on arm64

Change-Id: I9c3802e07c49ed33460b6f2341950ad0b6bee71a