Release documentation for either releases or 3.x branch.

gregturn · gregturn · commit 9f80669f9f4e · 2021-12-14T09:15:13.000-06:00
diff --git 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 {
