diff --git a/Jenkinsfile b/Jenkinsfile index d06a0163..273ef025 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -6,11 +6,6 @@ pipeline { } } - tools { - // Define the Maven tool with the desired name and version - maven 'maven-3.9.5' - } - options { buildDiscarder(logRotator(numToKeepStr: '5')) }