CI pipeline skip improvements (#8406)

2021-04-01 15:36:16 +01:00
parent 73f5e6f7d2
commit 27deb5606b
1 changed files with 2 additions and 2 deletions
@@ -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
                    }