commit | c59d97ff28c61a1cee9687ef4804426d900f4936 | [log] [tgz] |
---|---|---|
author | François Papon <fpapon@apache.org> | Wed Mar 08 07:27:41 2023 +0100 |
committer | GitHub <noreply@github.com> | Wed Mar 08 07:27:41 2023 +0100 |
tree | 5502efa84354b75c5f5db77d3ee552cb026540a5 | |
parent | 2a44d1a53b15c23781bcb4a49a27ddfeda3d401e [diff] | |
parent | a928114a77d92019f0c4fe732dab21c33e751bc1 [diff] |
Merge pull request #93 from fpapon/jenkins [jenkins] Update tools
diff --git a/Jenkinsfile b/Jenkinsfile index 180f255..e2ebd83 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 11 (latest)' + maven 'maven_3_latest' + jdk 'jdk_11_latest' } options {