tree c12a83bafe62acfa7fadc7a6ea3ae3d375ce5466
parent 1eecc17e16fbb40b20b4c814c35946c7b1c9b590
author Davide Pesavento <davide.pesavento@lip6.fr> 1498849192 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1498849192 -0400

ci: greatly expand Travis-CI build matrix

Change-Id: I2455e2751db9cd4f660c38ad4696925b1fda5cd8