From ddfc403da2f91c99d53dcf092b82347499b366f9 Mon Sep 17 00:00:00 2001 From: Alastair Smith Date: Fri, 6 Sep 2019 16:40:39 -0500 Subject: [PATCH] fix docker push command, add unsuccessful post stage --- Jenkinsfile | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) 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 + """ + } + } }