tree aae866ed604f762b684a00835018fa7e76373923
parent 9ecbdc95c5e45b90f9616b5145cf8ef4684d4092
author Davide Pesavento <davidepesa@gmail.com> 1553020935 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1553020935 -0400

ci: update .travis.yml and jenkins scripts

Change-Id: I315196cb9d8e96f46e706a78c2d15d856a0a8d8b