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

fix(doc): resolve some doc warnings about unquoted HTML tags #5477

Merged
merged 1 commit into from
Oct 25, 2022

Conversation

teor2345
Copy link
Contributor

Motivation

Nightly rustdoc has some new warnings.

Eventually these will be released as stable, and cause our CI to fail.

Review

This is a low priority cleanup.

Reviewer Checklist

  • Will the PR name make sense to users?
    • Does it need extra CHANGELOG info? (new features, breaking changes, large changes)
  • Are the PR labels correct?
  • Does the code do what the ticket and PR says?
  • How do you know it works? Does it have tests?

@teor2345 teor2345 added A-docs Area: Documentation C-cleanup Category: This is a cleanup P-Low ❄️ labels Oct 25, 2022
@teor2345 teor2345 self-assigned this Oct 25, 2022
@teor2345 teor2345 marked this pull request as ready for review October 25, 2022 04:23
@teor2345 teor2345 requested review from a team as code owners October 25, 2022 04:23
@teor2345 teor2345 requested review from upbqdn and removed request for a team October 25, 2022 04:23
@github-actions github-actions bot added the C-bug Category: This is a bug label Oct 25, 2022
@codecov
Copy link

codecov bot commented Oct 25, 2022

Codecov Report

Merging #5477 (46fa3ec) into main (233220a) will decrease coverage by 0.13%.
The diff coverage is n/a.

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #5477      +/-   ##
==========================================
- Coverage   79.23%   79.09%   -0.14%     
==========================================
  Files         309      309              
  Lines       39351    39351              
==========================================
- Hits        31179    31124      -55     
- Misses       8172     8227      +55     

@mergify mergify bot merged commit d1bcc32 into main Oct 25, 2022
@mergify mergify bot deleted the doc-warnings branch October 25, 2022 12:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-docs Area: Documentation C-bug Category: This is a bug C-cleanup Category: This is a cleanup
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants