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 lint critic #538

Closed
wants to merge 5 commits into from
Closed

Fix lint critic #538

wants to merge 5 commits into from

Conversation

p53
Copy link

@p53 p53 commented Jan 3, 2025

Title

Summary

Type

[] Bug fix
[] Feature request
[] Enhancement
[] Docs

Why?

Requirements

How to try it?

Documentation

Additional Information

Checklist:

  • My change requires a change to the documentation or CHANGELOG.
  • I have updated the documentation/CHANGELOG accordingly.

@p53 p53 added the documentation Improvements or additions to documentation label Jan 3, 2025
@p53 p53 added this to the 3.0.2 milestone Jan 3, 2025
@p53 p53 self-assigned this Jan 3, 2025
@p53 p53 closed this Jan 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

1 participant