Skip to content

ci: use pull request head commit whenever possible#12508

Merged
bors merged 1 commit intorust-lang:masterfrom weihanglo:ci-github-shaAug 16, 2023
+1-1

Commits

Commits on Aug 15, 2023