diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-07-18 12:39:24 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-07-18 12:39:24 +0200 |
| commit | eea91303ee3b9eb5d7a46bb871bff8f9c4b31135 (patch) | |
| tree | f455990b805caf98e038c8d0376c9d79f4b5656d /Jenkinsfile | |
| parent | aa196aa9a66b8417edf9d21db3796be88be37d81 (diff) | |
Docker: Switch to openjdk:14 as the base image.
Change-Id: Iff9a94d8069099ee38051c9f89b4f20cbf713bcc
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions