Use specific Jenkins nodes for releases

yrodiere · yrodiere · commit f6c682797860 · 2025-01-14T09:50:25.000+01:00
This should be safer as these nodes are only used once.
diff --git a/ci/release/Jenkinsfile b/ci/release/Jenkinsfile
@@ -64,7 +64,7 @@ def checkoutReleaseScripts() {
 
 pipeline {
 	agent {
-		label 'Worker&&Containers'
+		label 'Release'
 	}
 	triggers {
 		// Run every week Sunday midnight

Original file line number	Diff line number	Diff line change
`@@ -64,7 +64,7 @@ def checkoutReleaseScripts() {`
`64`	`64`
`65`	`65`	`pipeline {`
`66`	`66`	`agent {`
`67`		`- label 'Worker&&Containers'`
	`67`	`+ label 'Release'`
`68`	`68`	`}`
`69`	`69`	`triggers {`
`70`	`70`	`// Run every week Sunday midnight`