#1514 - Enable documentation build for maintenance branch and releases.

This commit is contained in:
Oliver Drotbohm
2021-04-20 13:16:15 +02:00
parent 359f7cc321
commit 842292e0be

4
Jenkinsfile vendored
View File

@@ -154,8 +154,8 @@ pipeline {
stage('Release documentation') {
when {
anyOf {
branch 'main'
branch 'release'
branch '1.3.x'
branch 'release-1.3'
}
}
agent {