Skip to content

Warn when rustdoc:: group is omitted from lint names#86849

Merged
bors merged 1 commit into
rust-lang:masterfrom
jyn514:rustdoc-group
Jul 4, 2021
Merged

Warn when rustdoc:: group is omitted from lint names#86849
bors merged 1 commit into
rust-lang:masterfrom
jyn514:rustdoc-group

Warn when `rustdoc::` group is omitted from lint names

7a774a8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs