diff --git a/Jenkinsfile b/Jenkinsfile index 284fbdb58..02dff4ceb 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,9 +1,8 @@ pipeline { - agent any - - tools { - maven 'M3' + agent { + docker { image 'maven:3.8.5-openjdk-17' } } + stages { stage('Build') { steps {