Closed chenyukang closed 1 year ago
Looks good, and looks like no one else has a paint can, so I am going to merge this, but first I am going to play a little with CI to see if I can increase my understanding of how GitHub Actions works.
Cool! Useful information: "re-run failed jobs" uses the exact commit tested at the moment of failure, but closing and reopening to trigger a new workflow run forces a partial or complete re-reckoning of the repo state as it would be after that PR was merged, i.e. it uses a potentially-different commit. Pushing another commit on an open PR's branch may do either of these, possibly the latter?
Thank you!
From comment https://github.com/rust-lang/rust/pull/112843#discussion_r1236911788