Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: fix version check CI job (#3032)
Part of the job checks out the pull request (this isn't done automatically because this runs with `pull_request_target` which checks out the base by default). That step was using `merge_commit_sha` which is not correct (this still checks out the base). The fix instead checks out `head.sha` which is correct. It is not possible to get a `merge_commit_sha` (there is a request for this [here](actions/checkout#518)) but `head.sha` should be good enough for our purposes.
- Loading branch information