From 13159e9f88f698751e249df401d3e46b779bb013 Mon Sep 17 00:00:00 2001 From: Rob Winch Date: Thu, 18 Oct 2018 16:03:00 -0500 Subject: [PATCH] Fail the build if deploy fails Fixes: gh-5997 --- Jenkinsfile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Jenkinsfile b/Jenkinsfile index d10a26ac68..4ce5a1f45a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -121,6 +121,9 @@ try { } } } +} catch(Exception e) { + currentBuild.result = 'FAILED: deploys' + throw e } finally { def buildStatus = currentBuild.result def buildNotSuccess = !SUCCESS.equals(buildStatus)