Skip to content

Auto merge of #145749 - flip1995:clippy-subtree-update, r=Manishearth #172990

Auto merge of #145749 - flip1995:clippy-subtree-update, r=Manishearth

Auto merge of #145749 - flip1995:clippy-subtree-update, r=Manishearth #172990

auto - dist-riscv64-linux

succeeded Aug 22, 2025 in 1h 29m 20s