From baf7804b4d1094f35b62e6aaab880443b1c7b178 Mon Sep 17 00:00:00 2001
From: Lorenzo Bettini <lorenzo.bettini@gmail.com>
Date: Fri, 2 Dec 2022 17:20:46 +0100
Subject: [PATCH] apache-maven-latest in Jenkinsfile

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 13cd8da9..3a36cf5d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -12,7 +12,7 @@ pipeline {
   }
 
   tools {
-     maven "apache-maven-3.8.5"
+     maven "apache-maven-latest"
      jdk "openjdk-jdk11-latest"
   }