[maven-doxia-site] branch master updated: Adjust tool labels

[rfscholte]

This is an automated email from the ASF dual-hosted git repository.

rfscholte pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/maven-doxia-site.git


The following commit(s) were added to refs/heads/master by this push:
     new 39a2540  Adjust tool labels
39a2540 is described below

commit 39a25402153bc1bd7641bfc94066317570a827dc
Author: rfscholte <rfscho...@apache.org>
AuthorDate: Sun Nov 15 16:56:15 2020 +0100

    Adjust tool labels
---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 7167816..70390db 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -8,7 +8,7 @@ pipeline {
                 not { branch 'master' }
             }
             steps {
-                withMaven(jdk:'JDK 1.8 (latest)', maven:'Maven 3 (latest)', 
mavenLocalRepo:'.repository', options: [
+                withMaven(jdk:'jdk_1.8_latest', maven:'maven_latest', 
mavenLocalRepo:'.repository', options: [
                   artifactsPublisher(disabled: true),
                   junitPublisher(disabled: true),
                   findbugsPublisher(disabled: true),
@@ -23,7 +23,7 @@ pipeline {
                 branch 'master'
             }
             steps {
-                withMaven(jdk:'JDK 1.8 (latest)', maven:'Maven 3 (latest)', 
mavenLocalRepo:'.repository', options: [
+                withMaven(jdk:'jdk_1.8_latest', maven:'maven_latest', 
mavenLocalRepo:'.repository', options: [
                   artifactsPublisher(disabled: true),
                   junitPublisher(disabled: true),
                   findbugsPublisher(disabled: true),