diff --git a/Jenkinsfile b/Jenkinsfile index bb211a46..37cdf432 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -3,6 +3,7 @@ pipeline { tools { // Define the Maven tool with the desired name and version maven 'maven-3.9.5' + dockerTool 'docker' } options { buildDiscarder(logRotator(numToKeepStr: '5'))