Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: Fix status reporting on PRs (#7574)
To report commit status on a PR, the head commit must be used, not the merge of that head back into the target (e.g. into main). I would prefer to make status reporting special, so that we can run tests and other operations against the merge (for more realistic results and to avoid test failures that only show up after a merge). But this is the quickest way for me to fix this critical feedback.
- Loading branch information