Rename env variable from GH_REF to GH_WORKFLOW_REF

BerkeleyLearnVerify · Jan 16, 2025 · 79dd756 · 79dd756
1 parent cccd942
commit 79dd756
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/run-simulators.yml b/.github/workflows/run-simulators.yml
@@ -88,11 +88,13 @@ jobs:
             HOSTNAME: ${{ secrets.SSH_HOST }}
             USER_NAME: ${{ secrets.SSH_USERNAME }}
             GH_ACCESS_TOKEN: ${{ secrets.GH_ACCESS_TOKEN }}
-            GH_REF: ${{ github.ref }}
+            GH_WORKFLOW_REF: ${{ github.ref }}
           run: |
+            export GH_REF="$GH_WORKFLOW_REF"
+            echo "GH REF: $GH_REF"
             echo "$PRIVATE_KEY" > private_key && chmod 600 private_key
-            export GH_REF="$GH_REF"
             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://[email protected]/BerkeleyLearnVerify/Scenic.git &&