update jenkins file

Amsterdam · Oct 3, 2023 · b88432e · b88432e
1 parent 86ecec5
commit b88432e
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -40,8 +40,10 @@ pipeline {
 
     stage('Release notes') {
        when {
-        branch 'production-release-v*'
-        branch 'MIJN-6651-release'
+        anyOf { 
+          branch 'production-release-v*'
+          branch 'MIJN-6651-release'
+        }
       }
       options {
         timeout(time: 5, unit: 'MINUTES')