You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@maven.apache.org by rf...@apache.org on 2020/10/18 10:25:37 UTC
[maven-dist-tool] branch master updated: Adjust to new tool names
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-dist-tool.git
The following commit(s) were added to refs/heads/master by this push:
new 40aeb03 Adjust to new tool names
40aeb03 is described below
commit 40aeb03f7d452b901635e1329ee468524e5fc4a7
Author: rfscholte <rf...@apache.org>
AuthorDate: Sun Oct 18 12:25:27 2020 +0200
Adjust to new tool names
---
Jenkinsfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 05c5130..6193f9f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -30,7 +30,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_3_latest', mavenLocalRepo:'.repository', options: [
artifactsPublisher(disabled: true),
findbugsPublisher(disabled: true),
]) {