From ea2f451d8e19c6a539b23f480da3bc593aa1c2f5 Mon Sep 17 00:00:00 2001
From: Lola Marrero <110120745+lola831@users.noreply.github.com>
Date: Wed, 15 Jan 2025 16:27:17 -0800
Subject: [PATCH] Refactor to pass GH_REF directly via SSH

---
 .github/workflows/run-simulators.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/run-simulators.yml b/.github/workflows/run-simulators.yml
index 4e9ef8859..8d6960ddc 100644
--- a/.github/workflows/run-simulators.yml
+++ b/.github/workflows/run-simulators.yml
@@ -90,12 +90,12 @@ jobs:
             GH_ACCESS_TOKEN: ${{ secrets.GH_ACCESS_TOKEN }}
             GH_REF: ${{ github.ref }}
           run: |
-            export LC_GH_REF="$GH_REF"
             echo "$PRIVATE_KEY" > private_key && chmod 600 private_key
-            ssh -o StrictHostKeyChecking=no -o SendEnv=LC_GH_REF -i private_key ${USER_NAME}@${HOSTNAME} '
+            ssh -o StrictHostKeyChecking=no -o SendEnv=GH_REF -i private_key ${USER_NAME}@${HOSTNAME} '
+              echo "GH ref: $GH_REF"
               cd /home/ubuntu/actions/ &&
               rm -rf Scenic &&
-              git clone --branch $(basename "$LC_GH_REF") --single-branch https://$GH_ACCESS_TOKEN@github.com/BerkeleyLearnVerify/Scenic.git &&
+              git clone --branch $(basename "$GH_REF") --single-branch https://$GH_ACCESS_TOKEN@github.com/BerkeleyLearnVerify/Scenic.git &&
               cd Scenic &&
               python3 -m venv venv &&
               source venv/bin/activate &&