Modified pipeline

williamlui00 · Oct 5, 2023 · de02c4d · de02c4d
1 parent 295b7f3
commit de02c4d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -21,7 +21,7 @@ pipeline{
             }
             steps {
                 script {
-                        if (!env.confirmBuild) {
+                        if (confirmBuild == 'no') {
                             error('Build aborted by user')
                     }
                 }