From 3be4ce7c09407cae8d61e96c9ac910fd5c2cdddb Mon Sep 17 00:00:00 2001 From: Davide D'Alto Date: Wed, 11 Dec 2024 16:46:19 +0100 Subject: [PATCH] [#1895] Upgrade JDK to 17 for jenkins pipelines --- ci/release/Jenkinsfile | 2 +- ci/snapshot-publish.Jenkinsfile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/release/Jenkinsfile b/ci/release/Jenkinsfile index bb4315fb8..9407ca050 100644 --- a/ci/release/Jenkinsfile +++ b/ci/release/Jenkinsfile @@ -61,7 +61,7 @@ pipeline { label 'Worker&&Containers' } tools { - jdk 'OpenJDK 11 Latest' + jdk 'OpenJDK 17 Latest' } options { buildDiscarder logRotator(daysToKeepStr: '30', numToKeepStr: '10') diff --git a/ci/snapshot-publish.Jenkinsfile b/ci/snapshot-publish.Jenkinsfile index c95f6663f..9be740a1d 100644 --- a/ci/snapshot-publish.Jenkinsfile +++ b/ci/snapshot-publish.Jenkinsfile @@ -15,7 +15,7 @@ pipeline { label 'Fedora' } tools { - jdk 'OpenJDK 11 Latest' + jdk 'OpenJDK 17 Latest' } options { rateLimitBuilds(throttle: [count: 1, durationName: 'hour', userBoost: true])