Add export for GH_REF to pass via SSH

BerkeleyLearnVerify · Jan 16, 2025 · 457b434 · 457b434
1 parent b6eb5df
commit 457b434
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/run-simulators.yml b/.github/workflows/run-simulators.yml
@@ -90,6 +90,7 @@ jobs:
             GH_ACCESS_TOKEN: ${{ secrets.GH_ACCESS_TOKEN }}
             GH_REF: ${{ github.ref }}
           run: |
+            export 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} '
               cd /home/ubuntu/actions/ &&