From b741a52ddb0067ab06635986aa9b7eea30b248d8 Mon Sep 17 00:00:00 2001 From: Greg Turnquist Date: Tue, 1 Oct 2019 12:20:23 -0500 Subject: [PATCH] #72 - Remove documentation stage from pipeline. --- Jenkinsfile | 30 ------------------------------ 1 file changed, 30 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index fc175b4..e39fe1f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -150,36 +150,6 @@ pipeline { } } } - stage('Release documentation') { - when { - anyOf { - branch 'master' - branch 'release' - } - } - agent { - docker { - image 'adoptopenjdk/openjdk8:latest' - args '-v $HOME/.m2:/tmp/jenkins-home/.m2' - } - } - options { timeout(time: 20, unit: 'MINUTES') } - - environment { - ARTIFACTORY = credentials('02bd1690-b54f-4c9f-819d-a77cb7a9822c') - } - - steps { - script { - sh 'MAVEN_OPTS="-Duser.name=jenkins -Duser.home=/tmp/jenkins-home" ./mvnw -Pci,distribute ' + - '-Dartifactory.server=https://repo.spring.io ' + - "-Dartifactory.username=${ARTIFACTORY_USR} " + - "-Dartifactory.password=${ARTIFACTORY_PSW} " + - "-Dartifactory.distribution-repository=temp-private-local " + - '-Dmaven.test.skip=true deploy -B' - } - } - } stage('Promote to Bintray') { when { branch 'release'