jdk17

rbri · rbri · commit 5d10537b37c4 · 2026-01-07T14:53:08.000+01:00
diff --git a/src/jenkins/huge-tests-a-c b/src/jenkins/huge-tests-a-c
@@ -7,7 +7,7 @@ pipeline {
     timeout(time: 35, unit: 'MINUTES')
   }
   tools {
-    jdk 'openjdk-11+28'
+    jdk 'openlogic-openjdk-17.0.17+10'
   }
   stages {
     stage('Build') {
