From a3b102c0d0c83525f5c8d97bffa81c4bcdd30b06 Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Wed, 25 Oct 2023 11:07:49 +0200
Subject: [PATCH] this might work better

---
 automation/Jenkinsfile | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index 94df71470..fa589e053 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -86,8 +86,9 @@ pipeline {
             }
         }
         stage('Documentation') {
-            when {
-                branch 'development'
+            anyOf {
+              branch 'development';
+              branch pattern: 'development-doc*'
             }
             steps {
                 sh 'pip install -r docs/requirements.txt'
@@ -106,8 +107,9 @@ pipeline {
             }
         }
         stage('Master Documentation') {
-            when {
-                branch 'master'
+            anyOf {
+              branch 'master';
+              branch pattern: 'master-doc*'
             }
             steps {
                 sh 'pip install -r docs/requirements.txt'