Use Java 25 on Jenkins

2025-10-24 14:42:17 +02:00
parent 01f3096e60
commit 753ed4f49f
1 changed files with 5 additions and 1 deletions
@@ -4,7 +4,11 @@ pipeline {
    options {
        disableConcurrentBuilds()
    }
-    agent any
+    agent any {
        tools {
            jdk 'Java 25'
        }
    }
 /*
    agent {