From 9faf1e8cee0f40f910bf0d080b9adb2688a856a5 Mon Sep 17 00:00:00 2001 From: marko-bekhta Date: Mon, 23 Dec 2024 12:40:07 +0100 Subject: [PATCH] Use specific Jenkins nodes for releases --- ci/release/Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/release/Jenkinsfile b/ci/release/Jenkinsfile index e31f3eb..871a5f5 100644 --- 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'