Use specific Jenkins nodes for releases

yrodiere · yrodiere · commit 54e160af3665 · 2025-01-14T09:50:30.000+01:00
This should be safer as these nodes are only used once.
diff --git a/ci/release/Jenkinsfile b/ci/release/Jenkinsfile
@@ -65,7 +65,7 @@ def checkoutReleaseScripts() {
 
 pipeline {
 	agent {
-		label 'Worker&&Containers'
+		label 'Release'
 	}
 	triggers {
 		// Run every week Sunday midnight
diff --git a/ci/snapshot-publish.Jenkinsfile b/ci/snapshot-publish.Jenkinsfile
@@ -12,7 +12,7 @@ if (currentBuild.getBuildCauses().toString().contains('BranchIndexingCause')) {
 
 pipeline {
     agent {
-        label 'Fedora'
+        label 'Release'
     }
     tools {
         jdk 'OpenJDK 17 Latest'

Original file line number	Diff line number	Diff line change
`@@ -65,7 +65,7 @@ def checkoutReleaseScripts() {`
`65`	`65`
`66`	`66`	`pipeline {`
`67`	`67`	`agent {`
`68`		`- label 'Worker&&Containers'`
	`68`	`+ label 'Release'`
`69`	`69`	`}`
`70`	`70`	`triggers {`
`71`	`71`	`// Run every week Sunday midnight`
Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,7 @@ if (currentBuild.getBuildCauses().toString().contains('BranchIndexingCause')) {`
`12`	`12`
`13`	`13`	`pipeline {`
`14`	`14`	`agent {`
`15`		`- label 'Fedora'`
	`15`	`+ label 'Release'`
`16`	`16`	`}`
`17`	`17`	`tools {`
`18`	`18`	`jdk 'OpenJDK 17 Latest'`