Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #12508 - weihanglo:ci-github-sha, r=ehuss
ci: use pull request head commit whenever possible
- Loading branch information