Update Jenkins to auto-generate 3.4 branch pages, and not only 3.4 ta…

…g pages (#2738) * AssumingThisIsHowItWork * MoreStars
modelica · Nov 25, 2020 · 77fb8be · 77fb8be
1 parent e960bef
commit 77fb8be
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.CI/Jenkinsfile b/.CI/Jenkinsfile
@@ -74,6 +74,7 @@ pipeline {
           buildingTag()
           anyOf {
             branch 'master'
+            branch 'maint/**'                
           }
         }
       }