diff --git a/Jenkinsfile b/Jenkinsfile index f040504..83a8e39 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -2,7 +2,7 @@ pipeline { agent any tools { - docker 'latest' + dockerTool } environment {