diff --git a/Jenkinsfile b/Jenkinsfile index 19786b6ed..30890135e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,14 +1,10 @@ pipeline { - agent { - docker { - image 'maven:3.9.5-openjdk-17-slim' - args '-v /var/run/docker.sock:/var/run/docker.sock' - } + agent any + + tools { + maven "M3" + jdk "JDK17" } - //tools { - // maven "M3" - // jdk "JDK17" - //} environment { DOCKERHUB_CREDENTIALS = credentials('Docker-token')