From fca411996aef1a4b4e13cb17b3bb6099f80a9a5c Mon Sep 17 00:00:00 2001
From: Rob Winch <rwinch@users.noreply.github.com>
Date: Thu, 22 Jun 2017 13:00:12 -0500
Subject: [PATCH] Allow Publishing When Spring IO Fails

This is necessary to solve the problem of chicken and the Egg. See
https://github.com/spring-io/platform/issues/622#issuecomment-310452646
---
 Jenkinsfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 00027a2a..788498b6 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -46,7 +46,6 @@ try {
 				try {
 					sh "./gradlew clean springIoCheck -PplatformVersion=Cairo-BUILD-SNAPSHOT -PexcludeProjects='**/samples/**' --refresh-dependencies --no-daemon --stacktrace"
 				} catch(Exception e) {
-					currentBuild.result = 'FAILED: springio'
 					throw e
 				} finally {
 					junit '**/build/spring-io*-results/*.xml'