Compare commits

..

No commits in common. "02a71445a5c05bef3f9b569109d55fc698639293" and "b62b8af5e386febacedf8b39ba3c5505eae17463" have entirely different histories.

1 changed files with 1 additions and 10 deletions

11
Jenkinsfile vendored
View File

@ -8,10 +8,6 @@ pipeline {
}
}
triggers {
cron("59 23 * * 1") // Build every monday
}
options {
buildDiscarder(logRotator(numToKeepStr: '10', artifactNumToKeepStr: '10'))
}
@ -19,16 +15,11 @@ pipeline {
stages {
stage("Build") {
steps {
sh 'make clean'
sh 'whoami'
sh 'make'
archiveArtifacts artifacts: 'setup_*.exe'
}
}
}
post {
always {
deleteDir()
}
}
}