Use specific Jenkins nodes for releases

yrodiere · marko-bekhta · commit dbd45f32ce8d · 2024-12-17T10:34:29.000+01:00
(cherry picked from commit 53b9d21)
diff --git a/ci/release/Jenkinsfile b/ci/release/Jenkinsfile
@@ -11,7 +11,7 @@ import org.hibernate.jenkins.pipeline.helpers.version.Version
 
 pipeline {
 	agent {
-		label 'Worker&&Containers'
+		label 'Release'
 	}
 	tools {
 		maven 'Apache Maven 3.8'
diff --git a/ci/snapshot-publish/Jenkinsfile b/ci/snapshot-publish/Jenkinsfile
@@ -14,7 +14,7 @@ if (currentBuild.getBuildCauses().toString().contains('BranchIndexingCause')) {
 
 pipeline {
 	agent {
-		label 'Worker&&Containers'
+		label 'Release'
 	}
 	tools {
 		maven 'Apache Maven 3.8'

Original file line number	Diff line number	Diff line change
`@@ -11,7 +11,7 @@ import org.hibernate.jenkins.pipeline.helpers.version.Version`
`11`	`11`
`12`	`12`	`pipeline {`
`13`	`13`	`agent {`
`14`		`- label 'Worker&&Containers'`
	`14`	`+ label 'Release'`
`15`	`15`	`}`
`16`	`16`	`tools {`
`17`	`17`	`maven 'Apache Maven 3.8'`
Original file line number	Diff line number	Diff line change
`@@ -14,7 +14,7 @@ if (currentBuild.getBuildCauses().toString().contains('BranchIndexingCause')) {`
`14`	`14`
`15`	`15`	`pipeline {`
`16`	`16`	`agent {`
`17`		`- label 'Worker&&Containers'`
	`17`	`+ label 'Release'`
`18`	`18`	`}`
`19`	`19`	`tools {`
`20`	`20`	`maven 'Apache Maven 3.8'`