cargo/.github
Weihang Lo 4360d9d2ad
ci: use pull request head commit whenever possible
The `github.sha` is a merge commit with the parents of latest master
and the head of the pr. Trying to diff the changes from that merge
SHA to base will show all changes that have been made in-between.

And that doesn't seem about right.

We switch to `github.event.pull_request.head.sha` if there is a pr.

See: https://rust-lang.zulipchat.com/#narrow/stream/246057-t-cargo/topic/version-bump.20CI.20failing
2023-08-16 00:11:23 +01:00
..
ISSUE_TEMPLATE Add S-triage auto-label. 2023-04-18 11:36:30 -07:00
workflows ci: use pull request head commit whenever possible 2023-08-16 00:11:23 +01:00
PULL_REQUEST_TEMPLATE.md
renovate.json5 chore(gh): Expand update window 2023-08-08 15:14:48 -05:00