fix: find nightly-with-mathlib SHA (#3923)

leanprover · Apr 16, 2024 · a8df7d9 · a8df7d9
1 parent 23aacde
commit a8df7d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/pr-release.yml b/.github/workflows/pr-release.yml
@@ -150,7 +150,7 @@ jobs:
             git -C lean4.git log -10 origin/master
 
             git -C lean4.git fetch origin nightly-with-mathlib 
-            NIGHTLY_WITH_MATHLIB_SHA="$(git -C lean4.git rev-parse "nightly-with-mathlib")"
+            NIGHTLY_WITH_MATHLIB_SHA="$(git -C lean4.git rev-parse "origin/nightly-with-mathlib")"
             MESSAGE="- ❗ Std/Mathlib CI will not be attempted unless your PR branches off the \`nightly-with-mathlib\` branch. Try \`git rebase $MERGE_BASE_SHA --onto $NIGHTLY_WITH_MATHLIB_SHA\`."
           fi