Uses proper tools labels

2026-08-07 07:37:20 +00:00 · 2020-11-05 08:08:44 +01:00
parent 84aeb77011
commit f6365e7363
1 changed files with 2 additions and 2 deletions
@@ -9,8 +9,8 @@ pipeline {
    disableConcurrentBuilds()
  }
  tools {
-    jdk 'JDK 1.7 (latest)'
-    maven 'Maven 3 (latest)'
+    jdk 'jdk_1.7_latest'
+    maven 'maven_3_latest'
  }
  triggers {
    pollSCM 'H/15 * * * *'