From 3dbac74cbbd8cd153e3d22dac53c422e077e76a0 Mon Sep 17 00:00:00 2001 From: Simon Forsberg Date: Thu, 9 Dec 2021 00:31:37 +0100 Subject: [PATCH] Jenkinsfile: Use Java 17 --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index ebd8f9dd..de0eb22d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -10,7 +10,7 @@ pipeline { timeout(time: 1, unit: 'HOURS') } tools { - jdk 'Java11' + jdk 'JavaLatest' } stages {