Use specific Jenkins nodes for releases

yrodiere · yrodiere · commit d6f3f268a95b · 2025-01-14T09:50:34.000+01:00
This should be safer as these nodes are only used once.
diff --git a/ci/release/Jenkinsfile b/ci/release/Jenkinsfile
@@ -58,7 +58,7 @@ def checkoutReleaseScripts() {
 
 pipeline {
 	agent {
-		label 'Worker&&Containers'
+		label 'Release'
 	}
 	tools {
 		jdk 'OpenJDK 11 Latest'
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
`@@ -58,7 +58,7 @@ def checkoutReleaseScripts() {`
`58`	`58`
`59`	`59`	`pipeline {`
`60`	`60`	`agent {`
`61`		`- label 'Worker&&Containers'`
	`61`	`+ label 'Release'`
`62`	`62`	`}`
`63`	`63`	`tools {`
`64`	`64`	`jdk 'OpenJDK 11 Latest'`
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'`