Use specific Jenkins nodes for releases

This should be safer as these nodes are only used once.
hibernate · Jan 14, 2025 · f6c6827 · f6c6827
1 parent e8f5ef9
commit f6c6827
Showing 1 changed file with 1 addition and 1 deletion.
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