-
-
Notifications
You must be signed in to change notification settings - Fork 14.8k
Add tidy check for missing {# #} tag in rustdoc templates #130559
Copy link
Copy link
Closed
Labels
A-tidyArea: The tidy toolArea: The tidy toolC-enhancementCategory: An issue proposing an enhancement or a PR with one.Category: An issue proposing an enhancement or a PR with one.T-bootstrapRelevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap)Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap)T-rustdocRelevant to the rustdoc team, which will review and decide on the PR/issue.Relevant to the rustdoc team, which will review and decide on the PR/issue.
Metadata
Metadata
Assignees
Labels
A-tidyArea: The tidy toolArea: The tidy toolC-enhancementCategory: An issue proposing an enhancement or a PR with one.Category: An issue proposing an enhancement or a PR with one.T-bootstrapRelevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap)Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap)T-rustdocRelevant to the rustdoc team, which will review and decide on the PR/issue.Relevant to the rustdoc team, which will review and decide on the PR/issue.
Type
Fields
Give feedbackNo fields configured for issues without a type.
To make the generated HTML size smaller, we strip whitespace characters as much as possible in our jinja templates, using
{# #}(jinja comments) to force the trimming between HTML items.However, we often forget to put
{# #}between HTML items (like in #120818 most recently). A tidy check would fix this issue.