diff --git a/Jenkinsfile b/Jenkinsfile index 6a75dfa6..63e5be61 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -118,7 +118,7 @@ pipeline { ) } // procedo solo se NON si tratta di commit in ramo DOCUMentazione... - else if (env.BRANCH_NAME == "develop" || env.BRANCH_NAME.contains("master") ) { + else if (env.BRANCH_NAME == "develop" || env.BRANCH_NAME.contains("master") || env.BRANCH_NAME.contains("feature") ) { fixResources("IOB-WIN") fixResources("IOB-WIN-NEXT")