Auto merge of #12508 - weihanglo:ci-github-sha, r=ehuss

ci: use pull request head commit whenever possible
This commit is contained in:
bors 2023-08-16 02:01:29 +00:00
commit 93e1aa2ea1

View File

@ -87,7 +87,7 @@ jobs:
runs-on: ubuntu-latest
env:
BASE_SHA: ${{ github.event.pull_request.base.sha }}
HEAD_SHA: ${{ github.sha }}
HEAD_SHA: ${{ github.event.pull_request.head.sha != '' && github.event.pull_request.head.sha || github.sha }}
steps:
- uses: actions/checkout@v3
with: