tree 34353146b43e4400864ee5e4fe970adac2e862dc
parent 9bedeb9d2476439b90dd77ee01f0aee8e029d252
author Luca Milanesio <luca.milanesio@gmail.com> 1781041946 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1781945794 -0700

Add Jenkinsfile for CI verification

Change-Id: I9897c1de7af1cdc2eef8b7c4271272446549eb2d