From a8df7d9d5c05bbfcc7cdb9aa00fa81a2dfccf1d2 Mon Sep 17 00:00:00 2001 From: Kim Morrison Date: Tue, 16 Apr 2024 13:18:51 +0200 Subject: [PATCH] fix: find nightly-with-mathlib SHA (#3923) --- .github/workflows/pr-release.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/pr-release.yml b/.github/workflows/pr-release.yml index 9396586a2427..ef5a2f8bbaf3 100644 --- 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