| commit | 293f38b8d2bc65d2737141b941eb27c3808345ee | [log] [tgz] |
|---|---|---|
| author | Hugo Hirsch <github@hugo-hirsch.de> | Sun Oct 18 21:38:47 2020 +0200 |
| committer | Hugo Hirsch <github@hugo-hirsch.de> | Sun Oct 18 21:38:47 2020 +0200 |
| tree | 70bc6277ffc56bcbc8e9612e7691b372b75b1152 | |
| parent | ec587c06e0b82627a3921988c4455f8473fa7352 [diff] |
Adapt to new JDK name in Jenkins
diff --git a/Jenkinsfile b/Jenkinsfile index 3db8962..6839e75 100644 --- a/Jenkinsfile +++ b/Jenkinsfile
@@ -41,7 +41,7 @@ tools { maven 'maven_3_latest' - jdk 'JDK 14 (latest)' + jdk 'jdk_14_latest' } options {