tree c0c285b7fdc8ceef719c0d7ed244437ba14ea3dd
parent 3cb0b1b408a5a6542af77fb782018bb962b24bcb
author Davide Pesavento <davidepesa@gmail.com> 1552951915 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1552951915 -0400

ci: update jenkins scripts and add .travis.yml

Change-Id: I1c5c743a310da5a32b462b69f76c97dfcdc822a9