Story #15513: Updating tools to proper version.

GiooDev · GiooDev · commit d3c517fb81d0 · 2025-12-08T11:53:48.000+01:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,6 +1,11 @@
 pipeline {
     agent {
-        label 'slaves'
+        label 'build'
+    }
+
+    tools {
+        jdk 'java11'
+        maven 'maven-3.8'
     }
 
     environment {
