Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow "WebSocket" and "WebTransport" without backticks in doc comments. #70

Merged

Conversation

waywardmonkeys
Copy link
Contributor

Without this configuration, clippy's doc-markdown lint will warn about this not being enclosed in backticks.

Without this configuration, clippy's `doc-markdown` lint will warn
about this not being enclosed in backticks.
@BiagioFesta
Copy link
Owner

BiagioFesta commented Oct 5, 2023

I am not aware about doc-markdown. Is not included in clippy by default? Maybe we could add the check in the CI

EDIT: I see that's in the clippy::pedantic group

@BiagioFesta BiagioFesta merged commit 4a2fd11 into BiagioFesta:master Oct 5, 2023
5 checks passed
@waywardmonkeys waywardmonkeys deleted the configure-valid-doc-idents branch October 5, 2023 12:08
@waywardmonkeys
Copy link
Contributor Author

I've included a change in PR #71 to enable the lint.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants