Next attempt to fix GH_REF handling in git clone command

BerkeleyLearnVerify · Jan 14, 2025 · 16f2ae2 · 16f2ae2
1 parent 88a6718
commit 16f2ae2
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/run-simulators.yml b/.github/workflows/run-simulators.yml
@@ -93,9 +93,13 @@ jobs:
             echo "$PRIVATE_KEY" > private_key && chmod 600 private_key
             echo "GitHub Ref: $GH_REF"
             ssh -o StrictHostKeyChecking=no -i private_key ${USER_NAME}@${HOSTNAME} '
+              echo "GitHub Ref inside SSH: $GH_REF"
+              echo "Cloning branch: $(basename "$GH_REF")"
+              echo "With: ${GH_REF}"
+              echo "With double: ${{GH_REF}}"
               cd /home/ubuntu/actions/ &&
               rm -rf Scenic &&
-              git clone --branch "$GH_REF" --single-branch https://[email protected]/BerkeleyLearnVerify/Scenic.git &&
+              git clone --branch $(basename "$GH_REF") --single-branch https://[email protected]/BerkeleyLearnVerify/Scenic.git &&
               cd Scenic &&
               python3 -m venv venv &&
               source venv/bin/activate &&