Skip to content

Remove profile section from Clippy#145781

Merged
bors merged 1 commit intorust-lang:masterfrom
Kobzol:clippy-remove-profile
Aug 24, 2025
Merged

Remove profile section from Clippy#145781
bors merged 1 commit intorust-lang:masterfrom
Kobzol:clippy-remove-profile

Commits

Commits on Aug 23, 2025