diff --git a/Jenkinsfile b/Jenkinsfile index b7a1af1f7..0f73256d5 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -12,7 +12,6 @@ pipeline { tools { maven 'm3' - dockerTool 'docker' } stages {