diff --git a/build_tools/JenkinsfileCheckRecentBuilds b/build_tools/JenkinsfileCheckRecentBuilds index 8f91570..b00b679 100644 --- a/build_tools/JenkinsfileCheckRecentBuilds +++ b/build_tools/JenkinsfileCheckRecentBuilds @@ -4,7 +4,7 @@ pipeline { agent { label { - label "ndw1757" + label "genie" } }