Use Java 25 on Jenkins

2025-10-24 14:43:15 +02:00
parent 34a5231081
commit 97af2628fb
1 changed files with 3 additions and 4 deletions
--- a/3
+++ b/3
@@ -4,11 +4,10 @@ pipeline {
    options {
        disableConcurrentBuilds()
    }
-    agent any {
+    agent any
    tools {
        jdk 'JDK 25'
    }
-    }

 /*
    agent {