tree 4b4c9de8d98af6ff8b835c0dcd95baa95364e62e
parent 0d837e3f2adcad89730b1b7f68453a508879f4fc
author Davide Pesavento <davidepesa@gmail.com> 1552948725 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1552951332 -0400

ci: update .travis.yml and jenkins scripts

Change-Id: I22034ef33a13910e2a5639deec4a5609b5a6ad99