From 61683c9aef8990a19d0adf607b363c955a7ab7a3 Mon Sep 17 00:00:00 2001 From: Tom Willemsen Date: Thu, 17 Jul 2025 11:43:46 +0100 Subject: [PATCH] Update JenkinsfileCheckRecentBuilds --- build_tools/JenkinsfileCheckRecentBuilds | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build_tools/JenkinsfileCheckRecentBuilds b/build_tools/JenkinsfileCheckRecentBuilds index 8f91570f..b00b6792 100644 --- a/build_tools/JenkinsfileCheckRecentBuilds +++ b/build_tools/JenkinsfileCheckRecentBuilds @@ -4,7 +4,7 @@ pipeline { agent { label { - label "ndw1757" + label "genie" } }