Skip to content

Deny todo!() in tidy#157706

Merged
rust-bors[bot] merged 16 commits into
rust-lang:mainfrom
jdonszelmann:deny-todo
Jul 13, 2026
Merged

Deny todo!() in tidy#157706
rust-bors[bot] merged 16 commits into
rust-lang:mainfrom
jdonszelmann:deny-todo

some more review feedback (don't want to squash, history is messed up…

ea03e5c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jul 13, 2026 in 36s