diff --git a/Jenkinsfile b/Jenkinsfile index d3164d70..518ad798 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -62,6 +62,16 @@ try { } } } + docs: { + stage('Deploy Docs') { + node { + checkout scm + withCredentials([file(credentialsId: 'docs.spring.io-jenkins_private_ssh_key', variable: 'DEPLOY_SSH_KEY')]) { + sh "./gradlew deployDocs -PdeployDocsSshKeyPath=$DEPLOY_SSH_KEY -PdeployDocsSshUsername=$SPRING_DOCS_USERNAME --refresh-dependencies --no-daemon --stacktrace" + } + } + } + } } } finally {