Skip to content

rustc_lint cleanups#125057

Merged
bors merged 3 commits into
rust-lang:masterfrom
nnethercote:rustc_lint-cleanups
Jun 3, 2024
Merged

rustc_lint cleanups#125057
bors merged 3 commits into
rust-lang:masterfrom
nnethercote:rustc_lint-cleanups

Tweak `CheckLintNameResult::Tool`.

32c8a12
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs