diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 0000000..4ec8665 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,20 @@ +pipeline { + agent none + options { + copyArtifactPermission('*'); + } + stages { + stage('build') { + agent { + docker { image '${env.DOCKER_PREFIX}/picosdk' } + } + steps { + sh 'mkdir -p build' + sh "cd build && rm -rf ./* && cmake .." + sh "cd build && make -j${env.JOBS_COUNT}" + archiveArtifacts './build/*.uf2' + sh 'rm -rf ./build' + } + } + } +}