From 27deb5606b003f72854ede055eeea2cbcd279fa0 Mon Sep 17 00:00:00 2001 From: Mihai PLESA Date: Thu, 1 Apr 2021 09:36:16 -0500 Subject: [PATCH] CI pipeline skip improvements (#8406) --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 6d8b93205c3..1d47d5713eb 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -58,9 +58,9 @@ pipeline { } } - if (SKIP) { + if (SKIP && PLATFORM != 'pre-init' && PLATFORM != 'post-init' ) { echo "Aborting build as PRs are either in draft or have a skip label (CI/skip or CI/skip-${PLATFORM})" - currentBuild.result = 'ABORTED' + currentBuild.result = 'SUCCESS' return }