Use specific Jenkins nodes for releases

marko-bekhta · marko-bekhta · commit 9faf1e8cee0f · 2024-12-23T12:46:12.000+01:00
diff --git a/ci/release/Jenkinsfile b/ci/release/Jenkinsfile
@@ -4,7 +4,7 @@ import org.hibernate.jenkins.pipeline.helpers.version.Version
 
 pipeline {
     agent {
-        label 'Worker&&Containers'
+        label 'Release'
     }
     tools {
         maven 'Apache Maven 3.9'

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@ import org.hibernate.jenkins.pipeline.helpers.version.Version`
`4`	`4`
`5`	`5`	`pipeline {`
`6`	`6`	`agent {`
`7`		`- label 'Worker&&Containers'`
	`7`	`+ label 'Release'`
`8`	`8`	`}`
`9`	`9`	`tools {`
`10`	`10`	`maven 'Apache Maven 3.9'`