mirror of https://github.com/docker/docs.git
fix docker push command, add unsuccessful post stage
This commit is contained in:
parent
6f93c768a7
commit
ddfc403da2
|
@ -48,7 +48,7 @@ pipeline {
|
||||||
docker build -t docs/docker.github.io:prod-${env.BUILD_NUMBER} .
|
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 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:prod-${env.BUILD_NUMBER}
|
||||||
docker push docs/docker.github.io:latest .
|
docker push docs/docker.github.io:latest
|
||||||
unzip -o $UCP_BUNDLE
|
unzip -o $UCP_BUNDLE
|
||||||
cd ucp-bundle-success_bot
|
cd ucp-bundle-success_bot
|
||||||
export DOCKER_TLS_VERIFY=1
|
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
|
||||||
|
"""
|
||||||
|
}
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue