tree 82570eedff77b7067b89b1dc0ef7554c4a94f606
parent 189278c9d91b1f300ee06a4d251f17eb1048cae6
author Luca Milanesio <luca.milanesio@gmail.com> 1781041869 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1781964452 +0100

Add Jenkinsfile for CI verification

Change-Id: I232d5bb419665becf96a30d112e324ff79ef6011