Skip to content

Do not trust GitHub's PR state after the PR has been already merged - #752

Merged
Kobzol merged 1 commit into
rust-lang:mainfrom
Kobzol:github-resiliency
May 7, 2026
Merged

Do not trust GitHub's PR state after the PR has been already merged#752
Kobzol merged 1 commit into
rust-lang:mainfrom
Kobzol:github-resiliency

Do not trust GitHub's PR state after the PR has been already merged

213c774
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Security audit
succeeded May 7, 2026 in 25s