commit | d4a1888349c350b4acc506c42efe48ab161ec629 | [log] [tgz] |
---|---|---|
author | Hugo Hirsch <github@hugo-hirsch.de> | Sun Oct 18 21:42:58 2020 +0200 |
committer | Hugo Hirsch <github@hugo-hirsch.de> | Sun Oct 18 21:42:58 2020 +0200 |
tree | 9087623815b14ee6c3736c1e776a5ef738d9f1de | |
parent | 0344a8672324693d0e37de187c20133935f82050 [diff] |
Adapt to new Maven name in Jenkins
diff --git a/Jenkinsfile b/Jenkinsfile index aa2e9cc..d4dcc41 100644 --- a/Jenkinsfile +++ b/Jenkinsfile
@@ -39,7 +39,7 @@ } tools { - maven 'Maven 3 (latest)' + maven 'maven_3_latest' jdk 'JDK 1.8 (latest)' }