From eceaf613945b3632e81a90308d161d745862a671 Mon Sep 17 00:00:00 2001 From: TomPGrid Date: Thu, 27 Feb 2025 09:36:21 +0100 Subject: [PATCH] change jnkinsfile --- Jenkinsfile | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) 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 {