Next attempt to fix GH_REF handling in git clone command

BerkeleyLearnVerify · Jan 14, 2025 · c64ecaf · c64ecaf
1 parent 16f2ae2
commit c64ecaf
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/run-simulators.yml b/.github/workflows/run-simulators.yml
@@ -96,7 +96,6 @@ jobs:
               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 $(basename "$GH_REF") --single-branch https://[email protected]/BerkeleyLearnVerify/Scenic.git &&