diff options
| -rw-r--r-- | Jenkinsfile | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/Jenkinsfile b/Jenkinsfile deleted file mode 100644 index 16f0c69..0000000 --- a/Jenkinsfile +++ /dev/null @@ -1,30 +0,0 @@ -pipeline { - agent any - options { ansiColor('xterm') } - stages { - stage('Publish') { - agent { - docker { - image 'peterevans/dockerhub-description:3' - args '--entrypoint ""' - } - } - environment { - DOCKERHUB_USERNAME = 'chn2guevara' - DOCKERHUB_PASSWORD = credentials('DOCKERHUB_TOKEN') - DOCKERHUB_REPOSITORY = 'chn2guevara/languagetool' - SHORT_DESCRIPTION = 'LanguageTool image with ngrams auto-download' - README_FILEPATH = './README.md' - } - steps { sh '/entrypoint.sh' } - } - } - post { - always { - step([$class: 'Mailer', - notifyEveryUnstableBuild: true, - recipients: "christian+jenkins@segundo.io", - sendToIndividuals: true]) - } - } -} |