From b6eb5dfd34709334396f4a88bdba859a4fcda0cf Mon Sep 17 00:00:00 2001
From: Lola Marrero <110120745+lola831@users.noreply.github.com>
Date: Thu, 16 Jan 2025 09:35:56 -0800
Subject: [PATCH] Test: Apply changes to SSH config and verify

---
 .github/workflows/run-simulators.yml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/.github/workflows/run-simulators.yml b/.github/workflows/run-simulators.yml
index 5cdae1b67..89e0819fd 100644
--- a/.github/workflows/run-simulators.yml
+++ b/.github/workflows/run-simulators.yml
@@ -88,13 +88,10 @@ jobs:
             HOSTNAME: ${{ secrets.SSH_HOST }}
             USER_NAME: ${{ secrets.SSH_USERNAME }}
             GH_ACCESS_TOKEN: ${{ secrets.GH_ACCESS_TOKEN }}
-            GH_WORKFLOW_REF: ${{ github.ref }}
+            GH_REF: ${{ github.ref }}
           run: |
-            export GH_REF="$GH_WORKFLOW_REF"
-            echo "GH REF: $GH_REF"
             echo "$PRIVATE_KEY" > private_key && chmod 600 private_key
             ssh -o StrictHostKeyChecking=no -o SendEnv=GH_REF -i private_key ${USER_NAME}@${HOSTNAME} '
-              echo "GH REF inside SSH: $GH_REF"
               cd /home/ubuntu/actions/ &&
               rm -rf Scenic &&
               git clone --branch $(basename "$GH_REF") --single-branch https://$GH_ACCESS_TOKEN@github.com/BerkeleyLearnVerify/Scenic.git &&