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

chore: improve doc lint #534

Merged
merged 5 commits into from
Oct 31, 2022
Merged

chore: improve doc lint #534

merged 5 commits into from
Oct 31, 2022

Conversation

sysulq
Copy link
Member

@sysulq sysulq commented Oct 31, 2022

Describe what this PR does / why we need it

Does this pull request fix one issue?

Describe how you did it

Describe how to verify it

Special notes for reviews

@codecov-commenter
Copy link

Codecov Report

Merging #534 (e0da6e6) into master (a5edfba) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #534   +/-   ##
=======================================
  Coverage   50.85%   50.85%           
=======================================
  Files         105      105           
  Lines        6757     6757           
=======================================
  Hits         3436     3436           
  Misses       3066     3066           
  Partials      255      255           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@sysulq sysulq changed the title docs: improve jupiter chore: improve xxl and docs Oct 31, 2022
@sysulq sysulq changed the title chore: improve xxl and docs chore: improve doc lint Oct 31, 2022
@sysulq sysulq merged commit dc0f10b into master Oct 31, 2022
@sysulq sysulq deleted the fix/doc branch November 7, 2022 02:10
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.

None yet

2 participants