diff --git a/Jenkinsfile b/Jenkinsfile index cdbbae44c..51b808c5a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,9 +5,6 @@ pipeline { label 'my-defined-label' args '-v /tmp:/tmp' } - tools { - maven 'Maven' - } stages { stage ('Build') { steps {