diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 0000000..f2ac750 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,28 @@ +pipeline { + + agent { + dockerfile { + filename 'Dockerfile.jenkins' + dir '.' + args '-u root --privileged' + } + } + + triggers { + cron("59 23 * * 1") // Build every monday + } + + options { + buildDiscarder(logRotator(numToKeepStr: '10', artifactNumToKeepStr: '10')) + } + + stages { + stage("Build") { + steps { + sh 'make' + archiveArtifacts artifacts: 'setup_*.exe' + } + } + } +} +