Fix PR's failing on Jenkins (#1107)

Update to #1094 * Use when condition to not package/publish packages for a PR
Dyalog · Aug 24, 2023 · 6018c16 · 6018c16
1 parent e39c525
commit 6018c16
Showing 1 changed file with 16 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -44,7 +44,7 @@ pipeline {
         }
         stage ('Mac Build and Packaging') {
           agent {
-            label 'Mac && Build'
+            label 'Mac && x86 && Build'
           }
           steps {
             sh 'rm -Rf _ ship'
@@ -74,6 +74,11 @@ pipeline {
           }
         }
       }
+      when {
+        not {
+          branch 'PR-*'
+        }
+      }
     }
     stage ('Copy install images') {
       agent {
@@ -95,6 +100,11 @@ pipeline {
         sh './CI/copyinstallers.sh'
         sh 'rm -Rf _ ship'
       }
+      when {
+        not {
+          branch 'PR-*'
+        }
+      }
     }
     stage ('Publish to Github') {
       agent {
@@ -116,6 +126,11 @@ pipeline {
         sh './CI/GH-Release.sh'
         sh 'rm -Rf _ ship'
       }
+      when {
+        not {
+          branch 'PR-*'
+        }
+      }
     }
   }
 }