Use specific Jenkins nodes for releases

yrodiere · yrodiere · commit 1044a0db9b00 · 2025-01-14T09:50:41.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
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 11 Latest'

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`
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 11 Latest'`