From a5ecc0ac8222a18922219e1fef8e0a480c31f24d Mon Sep 17 00:00:00 2001
From: Siddarth Kumar <siddarthkay@gmail.com>
Date: Thu, 16 Mar 2023 20:34:10 +0530
Subject: [PATCH] try on a specific host

no label

update label
---
 ci/Jenkinsfile.ios | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/Jenkinsfile.ios b/ci/Jenkinsfile.ios
index 35e172aee824..92150787568b 100644
--- a/ci/Jenkinsfile.ios
+++ b/ci/Jenkinsfile.ios
@@ -4,7 +4,7 @@ library 'status-jenkins-lib@v1.6.9'
 def isPRBuild = utils.isPRBuild()
 
 pipeline {
-  agent { label 'macos && arm64 && nix-2.11 && xcode-14.2' }
+ agent { label 'macm1-02' }  /* Hardcoding this here temporarily. */
 
   parameters {
     string(