diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 0000000000000000000000000000000000000000..aac02ad77e2a673ed77fd47436002751a7d8f0c8 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,11 @@ +pipeline { + agent any + + stages { + stage('Build') { + steps { + sh 'mkdir build && cd build && cmake .. && make' + } + } + } +}