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'