From 025112b465e59ae696385f9fa3c58022f8bc8eb4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Yoann=20Rodi=C3=A8re?= <yoann@hibernate.org>
Date: Mon, 16 Dec 2024 11:10:52 +0100
Subject: [PATCH] Use specific Jenkins nodes for releases

This should be safer as these nodes are only used once.
---
 ci/release/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/release/Jenkinsfile b/ci/release/Jenkinsfile
index 198166d9479f..ac17cd7df685 100644
--- 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