Changes

Summary

  1. add Jenkinsfile (details)
Commit 7c64c3a179ecd07b256016ad3c4a3855f1ee0410 by veentjer
add Jenkinsfile
The file was addedJenkinsfile