fix: ignore superseded failed GitHub check runs - #4258

Merged

kunchenguid merged 3 commits into

mainfrom

fm/fm-pr-merge-ignore-stale-red-checks-r1

Sep 12, 2026

Commits on Sep 12, 2026

fix(pr-merge): judge each required check by its current run
kunchenguid
committed
569e662
no-mistakes(review): Use check-run start times for safe supersession
kunchenguid
committed
b5f61b6
no-mistakes(document): Clarify GitHub check-rollup documentation
kunchenguid
committed
45367d4