diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 0000000000000000000000000000000000000000..c83c22da79cf76c112ae14433a8fd682fcc62f05 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,17 @@ +pipeline { + agent any + + stages { + stage('build') { + steps { + build 'reticulum' + } + } + } + + post { + always { + deleteDir() + } + } +}