diff --git a/Jenkinsfile b/Jenkinsfile index ed4cc40..24b0e35 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -70,10 +70,7 @@ pipeline { MAVEN_LOCAL_REPO = "${maven_local_repo_path}" GCUBE_RELEASE_NUMBER = "${params.gCube_release_version}" } - tools { - jdk 'OpenJDK 8' - maven 'Maven 3.6.2' - } + // see https://jenkins.io/doc/book/pipeline/syntax/#parameters parameters { choice(name: 'Type',