This repository was archived by the owner on Jan 15, 2026. It is now read-only.
This repository was archived by the owner on Jan 15, 2026. It is now read-only.
bors should prevent rolling up already merged PRs #194
Description
In rust-lang/rust#113114 rust-lang/rust#111269 was merged before, but still started testing and don't aborted. Bot probably should check state of PRs in rollup from time to time and abort it if find already merged ones.