diff --git a/Jenkinsfile b/Jenkinsfile index 44bbf10b8c83e85c845d6da9bb3c921b85df7328..6687580a6c49c121b8938af3fd03f9f1e4d262cf 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -77,6 +77,9 @@ pipeline { } } } + if(!stage_required.build || !stage_required.full) { + currentBuild.result='UNSTABLE' + } } } // Mark build as NOT_BUILT when [ci skip] commit message was found