| commit | 6a33d8cdd3060b3fea26b2ae63f9900f991ca52a | [log] [tgz] |
|---|---|---|
| author | Hugo Hirsch <github@hugo-hirsch.de> | Sun Oct 18 21:41:24 2020 +0200 |
| committer | Hugo Hirsch <github@hugo-hirsch.de> | Sun Oct 18 21:41:24 2020 +0200 |
| tree | 6ee501301bf7cfa1df9cbd54a8d01a6f8fc750fe | |
| parent | 9196a6a0d101eb5ebb774294ffd937312334ec79 [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)' }