Use Java 25 on Jenkins

2025-10-24 14:42:31 +02:00
parent 753ed4f49f
commit 34a5231081
1 changed files with 1 additions and 1 deletions
@@ -6,7 +6,7 @@ pipeline {
    }
    agent any {
        tools {
-            jdk 'Java 25'
+            jdk 'JDK 25'
        }
    }