diff options
| author | Christian Segundo | 2025-12-20 06:39:33 +0100 |
|---|---|---|
| committer | Christian Segundo | 2025-12-20 13:00:19 +0100 |
| commit | 3d3b0a86a824512b5bf89b0b8e3bd9837f927b15 (patch) | |
| tree | 78f2a1fbecf69c4084b98090ce6ba8b3f98ce3ce /Jenkinsfile | |
| parent | a575e280350013f1c5fc837af38bf268c9172b42 (diff) | |
| download | languagetool-3d3b0a86a824512b5bf89b0b8e3bd9837f927b15.tar.gz | |
Move build to Gitea
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]) - } - } -} |