More drafting

apalache-mc · Jan 21, 2021 · ebc1c07 · ebc1c07
1 parent c0a5d30
commit ebc1c07
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -26,7 +26,8 @@ jobs:
           git branch
           git log -3
           echo $HEAD_REF
-          git checkout $HEAD_REF~1
+          git checkout $HEAD_REF
+          git checkout HEAD~1
           git log -1
           git status