diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile index 54b21b36..3dfc083a 100644 --- a/automation/Jenkinsfile +++ b/automation/Jenkinsfile @@ -42,7 +42,7 @@ pipeline { } stage('Documentation') { when { - branch 'development' + branch 'mohr/documentation_ci' } steps { dir(DOCDDIR) {