diff --git a/Jenkinsfile b/Jenkinsfile index fa9111589a..0f6897f2f0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -48,7 +48,7 @@ pipeline { docker build -t docs/docker.github.io:prod-${env.BUILD_NUMBER} . docker tag docs/docker.github.io:prod-${env.BUILD_NUMBER} docs/docker.github.io:latest docker push docs/docker.github.io:prod-${env.BUILD_NUMBER} - docker push docs/docker.github.io:latest . + docker push docs/docker.github.io:latest unzip -o $UCP_BUNDLE cd ucp-bundle-success_bot export DOCKER_TLS_VERIFY=1 @@ -107,4 +107,11 @@ pipeline { } } } + post { + unsuccessful { + sh """ + curl -X POST -H 'Content-type: application/json' --data '{"text":"Error in docker.github.io:published build. Please contact the Customer Success Engineering team for help."}' $SLACK + """ + } + } }