diff --git a/Jenkinsfile b/Jenkinsfile index beda1bd1..8af0b4bc 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -190,7 +190,7 @@ pipeline { // ora mi occupo delle operazioni di compressione e copia... script { /* compilo installers in base al BRANCH del cliente... */ - if (env.BRANCH_NAME == "master" || env.BRANCH_NAME.contains("DEMO")) { + if (env.BRANCH_NAME == "master" || env.BRANCH_NAME.contains("DEMO") || env.BRANCH_NAME.contains("Giancarlo")) { echo 'Questo BRANCH non necessita di installer...' } else