diff --git a/Jenkinsfile b/Jenkinsfile index 677b15ad..be9e0c84 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -198,7 +198,10 @@ pipeline { stage('Release documentation') { when { - branch 'release-3.x' + anyOf { + branch '3.x' + branch 'release-3.x' + } } agent { docker {