Uses proper maven version

apache · Sep 6, 2023 · 4257bd9 · 4257bd9
1 parent 4e7b8a4
commit 4257bd9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -10,7 +10,7 @@ pipeline {
   }
   tools {
     jdk 'jdk_1.7_latest'
-    maven 'maven_3_8_7'
+    maven 'maven_3.8.7'
   }
   triggers {
     pollSCM 'H/15 * * * *'