Revert "one last check"

This reverts commit 7877776e24.
2022-09-30 14:36:25 +02:00 · 2022-09-30 14:36:25 +02:00 · 8e362a000c
parent 7877776e24
commit 8e362a000c
1 changed files with 1 additions and 1 deletions
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@ -45,7 +45,7 @@ pipeline {
        }
        stage('Documentation') {
            when {
-                branch 'development'
+                branch 'mohr/documentation_ci'
            }
            steps {
                dir(DOCDDIR) {