Skip to content

Add Jenkinsfile for CI builds

Andrea Veri requested to merge gh-6c61bf1f/60/unknown/Jenkinsfile into master