Merge pull request #509 from zkaoudi/main

fixing jenkins build
apache · Feb 28, 2025 · 6f85a87 · 6f85a87
2 parents 1d5736f + 1229f13
commit 6f85a87
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -42,7 +42,7 @@ pipeline {
 
     tools {
         maven 'maven_3_latest'
-        jdk 'jdk_1.8_latest'
+        jdk 'jdk_11_latest'
     }
 
     options {