max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: pr-release.yaml: remove hardcoded date (#3061)

Browse source 
This fixe a surprisingly embarrassing bug introduced by me in
fa26d222cb (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.
This commit is contained in:
Joachim Breitner 2023-12-13 14:50:19 +01:00 • committed by GitHub
parent 2f216b5255
commit b5b664e570
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/pr-release.yml vendored
View file

@ -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"