Changes

Summary

  1. add Jenkinsfile (details)
Commit 71557740cea7dfd1479e334e225e019e3f77b776 by veentjer
add Jenkinsfile
The file was addedJenkinsfile