| commit | 4811889565f6eed8288c393a28c02f63cfb8a212 | [log] [tgz] |
|---|---|---|
| author | Jean Helou <jhe@codamens.fr> | Fri Apr 02 08:59:59 2021 +0200 |
| committer | Tellier Benoit <btellier@linagora.com> | Wed Apr 07 09:30:53 2021 +0700 |
| tree | 08c15c2983baf154a7195ad3a65f60f6077d1e1a | |
| parent | c4f9e4527dfaa9c04348009100cd0616e2d0640a [diff] |
fixes jenkinsfile tool names
diff --git a/Jenkinsfile b/Jenkinsfile index 903cce2..52ea02c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile
@@ -19,8 +19,8 @@ */ def AGENT_LABEL = env.AGENT_LABEL ?: 'ubuntu' -def JDK_NAME = env.JDK_NAME ?: 'JDK 11 (latest)' -def MAVEN_NAME = 'Maven 3 (latest)' +def JDK_NAME = env.JDK_NAME ?: 'jdk_11_latest' +def MAVEN_NAME = 'maven_3_latest' pipeline {