diff options
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/Jenkinsfile b/Jenkinsfile deleted file mode 100644 index a16496b..0000000 --- a/Jenkinsfile +++ /dev/null @@ -1,33 +0,0 @@ -String cron_string = BRANCH_NAME == "master" ? "@weekly" : "" - -pipeline { - agent any - triggers { cron(cron_string) } - options { ansiColor('xterm') } - stages { - stage('Check') { - agent { - docker { - image 'ghcr.io/super-linter/super-linter:latest' - args '--entrypoint ""' - } - } - steps { sh 'bash .scripts.d/10-check.sh' } - } - stage('Build') { steps { sh 'bash .scripts.d/20-build.sh' } } - stage('Test') { steps { sh 'bash .scripts.d/30-test.sh' } } - stage('Publish') { - environment { DOCKERHUB_TOKEN = credentials('DOCKERHUB_TOKEN') } - steps { sh 'bash .scripts.d/40-publish.sh' } - } - } - post { - always { - junit 'build/reports/*.xml' - step([$class: 'Mailer', - notifyEveryUnstableBuild: true, - recipients: "christian+jenkins@segundo.io", - sendToIndividuals: true]) - } - } -} |