diff --git a/Jenkinsfile b/Jenkinsfile index d65e850..8dda74b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -76,11 +76,10 @@ pipeline { AGENT_ROOT_FOLDER = "${agent_root_folder}" MAVEN_SETTINGS_FILE = "${maven_settings_file}" MAVEN_LOCAL_REPO = "${agent_root_folder}/${maven_local_repo_path}" + CLEANUP_GCUBE_REPO = "${params.cleanup_gcube_artifacts}" + CLEANUP_LOCAL_REPO = "${params.cleanup_local_repo}" GCUBE_RELEASE_NUMBER = "${params.gCube_release_version}" PIPELINE_BUILD_NUMBER = "${env.BUILD_NUMBER}" - CLEANUP_LOCAL_REPO = "${params.cleanup_local_repo}" - CLEANUP_GCUBE_REPO = "${params.cleanup_gcube_artifacts}" - } // see https://jenkins.io/doc/book/pipeline/syntax/#parameters