Use specific Jenkins nodes for releases

yrodiere · yrodiere · commit 87363d69ff10 · 2025-01-14T09:33:20.000+01:00
This should be safer as these nodes are only used once.
diff --git a/ci/release/Jenkinsfile b/ci/release/Jenkinsfile
@@ -9,7 +9,7 @@ import org.hibernate.jenkins.pipeline.helpers.version.Version
 
 pipeline {
 	agent {
-		label 'Worker&&Containers'
+		label 'Release'
 	}
 	tools {
 		maven 'Apache Maven 3.9'

Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@ import org.hibernate.jenkins.pipeline.helpers.version.Version`
`9`	`9`
`10`	`10`	`pipeline {`
`11`	`11`	`agent {`
`12`		`- label 'Worker&&Containers'`
	`12`	`+ label 'Release'`
`13`	`13`	`}`
`14`	`14`	`tools {`
`15`	`15`	`maven 'Apache Maven 3.9'`