| commit | 600c66145c29eb140abd4a75806303769692e873 | [log] [tgz] |
|---|---|---|
| author | Hugo Hirsch <github@hugo-hirsch.de> | Sun Oct 18 21:43:26 2020 +0200 |
| committer | Hugo Hirsch <github@hugo-hirsch.de> | Sun Oct 18 21:43:26 2020 +0200 |
| tree | ea69a3c474ba5ff65aa673c06998ce070d7047d9 | |
| parent | d4a1888349c350b4acc506c42efe48ab161ec629 [diff] |
Adapt to new JDK name in Jenkins
diff --git a/Jenkinsfile b/Jenkinsfile index d4dcc41..1121eb0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile
@@ -40,7 +40,7 @@ tools { maven 'maven_3_latest' - jdk 'JDK 1.8 (latest)' + jdk 'jdk_1.8_latest' } options {