Skip to content

Add a sanity check in case of any duplicate nodes#149916

Merged
bors merged 2 commits into
rust-lang:mainfrom
zetanumbers:double_node_sanity
Dec 13, 2025
Merged

Add a sanity check in case of any duplicate nodes#149916
bors merged 2 commits into
rust-lang:mainfrom
zetanumbers:double_node_sanity

Also check in case it tries to mark red node as green

c7b5fb5
Select commit
Loading
Failed to load commit list.