Adapt to new JDK name in Jenkins
authorHugo Hirsch <github@hugo-hirsch.de>
Sun, 18 Oct 2020 19:42:15 +0000 (21:42 +0200)
committerHugo Hirsch <github@hugo-hirsch.de>
Sun, 18 Oct 2020 19:42:15 +0000 (21:42 +0200)
commit2d7ea472ef31c450a445b9c82465863dded5d461
tree33341fe45b82a8b21b4212a6963acce5a4506177
parent6a33d8cdd3060b3fea26b2ae63f9900f991ca52a
Adapt to new JDK name in Jenkins
Jenkinsfile