diff --git a/ci/tools/Jenkinsfile.pod-repo-update b/ci/tools/Jenkinsfile.pod-repo-update index a2efbdd723..fbc2649736 100644 --- a/ci/tools/Jenkinsfile.pod-repo-update +++ b/ci/tools/Jenkinsfile.pod-repo-update @@ -29,7 +29,7 @@ pipeline { name: 'HOST_LABEL', description: 'Label of host to run on', /* Using startTimeInMillis to randomize which host gets the update. */ - defaultValue: "macos-0${(currentBuild.startTimeInMillis % 3) + 1}", + defaultValue: "maci7-0${(currentBuild.startTimeInMillis % 3) + 1}", ) }