commit cacdb37baa6d38a4b5e56609aae6a3b13bf0cd08
author Francois Papon <fpapon@apache.org> Sat Oct 17 18:02:29 2020 +0200
committer Francois Papon <fpapon@apache.org> Sat Oct 17 18:25:57 2020 +0200
tree cf368c3192e4c503505df5aa37712de7e2d2f794
parent 441e736eaf25344f8f1612961bb5da3bf72b57c9

[CI] Update maven and jdk labels

Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
index fc7e01f..c433988 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -35,8 +35,8 @@
 
     tools {
         // ... tell Jenkins what java version, maven version or other tools are required ...
-        maven 'Maven 3 (latest)'
-        jdk 'JDK 1.8 (latest)'
+        maven 'maven_3_latest'
+        jdk 'jdk_1.8_latest'
     }
 
     options {

Jenkinsfile-jdk11

diff --git a/Jenkinsfile-jdk11 b/Jenkinsfile-jdk11
index 2b3d5ea..73e50f0 100644
--- a/Jenkinsfile-jdk11
+++ b/Jenkinsfile-jdk11
@@ -35,8 +35,8 @@
 
     tools {
         // ... tell Jenkins what java version, maven version or other tools are required ...
-        maven 'Maven 3 (latest)'
-        jdk 'JDK 11 (latest)'
+        maven 'maven_3_latest'
+        jdk 'jdk_11_latest'
     }
 
     options {

Jenkinsfile-jdk14

diff --git a/Jenkinsfile-jdk14 b/Jenkinsfile-jdk14
index dd5e859..7fcda4d 100644
--- a/Jenkinsfile-jdk14
+++ b/Jenkinsfile-jdk14
@@ -35,8 +35,8 @@
 
     tools {
         // ... tell Jenkins what java version, maven version or other tools are required ...
-        maven 'Maven 3 (latest)'
-        jdk 'JDK 14 (latest)'
+        maven 'maven_3_latest'
+        jdk 'jdk_14_latest'
     }
 
     options {