diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 00000000..84e4bf18 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,11 @@ +pipeline { + agent { dockerfile true } + stages { + stage('Build') { + steps { + sh 'make release' + sh 'make' + } + } + } +}