diff --git a/Jenkinsfile b/Jenkinsfile index dad9abb2f5d42a47cf9694f9ae014f8a26891227..ba0ffa7e7e46eeb7d01891c77425642cc5cb0fdd 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -78,7 +78,7 @@ pipeline { } } if(!(stage_required.build || stage_required.full)) { - currentBuild.result='UNSTABLE' + currentBuild.result='NOT_BUILT' } } }