Story #15513: Updating tools to proper version.

GiooDev · GiooDev · commit 2fe686fbc01f · 2025-12-08T11:27:59.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 {
@@ -40,6 +45,7 @@ pipeline {
             when {
                 anyOf {
                     branch "master"
+                    branch "story_15509_temurin11"
                     tag pattern: "^[1-9]+\\.[0-9]+\\.[0-9]+-?[0-9]*\$", comparator: "REGEXP"
                 }
             }

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,11 @@`
`1`	`1`	`pipeline {`
`2`	`2`	`agent {`
`3`		`- label 'slaves'`
	`3`	`+ label 'build'`
	`4`	`+ }`
	`5`	`+`
	`6`	`+ tools {`
	`7`	`+ jdk 'java11'`
	`8`	`+ maven 'maven-3.8'`
`4`	`9`	`}`
`5`	`10`
`6`	`11`	`environment {`
`@@ -40,6 +45,7 @@ pipeline {`
`40`	`45`	`when {`
`41`	`46`	`anyOf {`
`42`	`47`	`branch "master"`
	`48`	`+ branch "story_15509_temurin11"`
`43`	`49`	`tag pattern: "^[1-9]+\\.[0-9]+\\.[0-9]+-?[0-9]*\$", comparator: "REGEXP"`
`44`	`50`	`}`
`45`	`51`	`}`