tree 88d37d902e054cbc19a8612a890bd3f988565fdc
parent 724d65ae2f779b94d43e2932a8cf2cb131254fec
author Davide Pesavento <davide.pesavento@lip6.fr> 1496966800 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1498262440 -0400

ci: greatly expand Travis-CI build matrix

Change-Id: I1bc50c12799e1452694920acc061dd575f7a24a0