diff --git a/Jenkinsfile b/Jenkinsfile
index bbefd5bf..956a0695 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -179,8 +179,8 @@ pipeline {
 		stage('Release documentation') {
 			when {
 				anyOf {
-					branch 'main'
-					branch 'release'
+					branch '3.1.x'
+					branch 'release-3.1.x'
 				}
 			}
 			agent {