done?

2022-09-30 14:40:59 +02:00
parent 8e362a000c
commit 7b5ae6a445
1 changed files with 2 additions and 2 deletions
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -45,7 +45,7 @@ pipeline {
        }
        stage('Documentation') {
            when {
-                branch 'mohr/documentation_ci'
+                branch 'development'
            }
            steps {
                dir(DOCDDIR) {
@@ -64,7 +64,7 @@ pipeline {
        }
        stage('Master Documentation') {
            when {
-                branch 'mohr/documentation_ci'
+                branch 'master'
            }
            steps {
                dir(DOCDDIR) {