tree 9dacbf3d19f71f969b3b7824ae503b81af17a3af
parent 68ab43d8b7daf12f93721a1906d4a776b32c5923
author Davide Pesavento <davide.pesavento@lip6.fr> 1498888297 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1499227825 -0400

ci: expand Travis-CI build matrix and use two parallel build jobs

Change-Id: I7dbba5bcd63274daa9b0da2ee9d631a55c1eca9e