From b5b664e570f8e6a112b8491bccf58b58fe2d916b Mon Sep 17 00:00:00 2001 From: Joachim Breitner Date: Wed, 13 Dec 2023 14:50:19 +0100 Subject: [PATCH] chore: pr-release.yaml: remove hardcoded date (#3061) This fixe a surprisingly embarrassing bug introduced by me in fa26d222cb16408e22272ae8178603925f406473 (maybe while testing). Enable more debug output while we are at it, to find out why sometimes `context.payload.workflow_run.pull_requests[0]` is undefined. --- .github/workflows/pr-release.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/pr-release.yml b/.github/workflows/pr-release.yml index cf15d9d6b8..d0598e6aff 100644 --- a/.github/workflows/pr-release.yml +++ b/.github/workflows/pr-release.yml @@ -23,7 +23,7 @@ jobs: id: workflow-info with: script: | - // console.log(`context.payload: ${JSON.stringify(context.payload, null, 2)}`) + console.log(`context.payload: ${JSON.stringify(context.payload, null, 2)}`) core.setOutput('pullRequestNumber', context.payload.workflow_run.pull_requests[0].number) core.setOutput('sourceHeadSha', context.payload.workflow_run.pull_requests[0].head.sha) @@ -98,7 +98,7 @@ jobs: id: ready run: | echo "Most recent nightly: $MOST_RECENT_NIGHTLY" - NIGHTLY_SHA=$(git ls-remote https://github.com/leanprover/lean4-nightly.git nightly-2023-12-04|cut -f1) + NIGHTLY_SHA=$(git ls-remote https://github.com/leanprover/lean4-nightly.git "nightly-$MOST_RECENT_NIGHTLY"|cut -f1) echo "SHA of most recent nightly: $NIGHTLY_SHA" MERGE_BASE_SHA=$(git -C lean4.git merge-base origin/master "${{ steps.workflow-info.outputs.sourceHeadSha }}") echo "SHA of merge-base: $MERGE_BASE_SHA"