Uses proper maven version

2026-08-05 14:47:09 +00:00 · 2023-09-06 19:33:48 +02:00
parent 4e7b8a466f
commit 4257bd99c1
1 changed files with 1 additions and 1 deletions
@@ -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 * * * *'