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

Added editorconfig lint #7279

Merged
merged 1 commit into from
Apr 13, 2024
Merged

Added editorconfig lint #7279

merged 1 commit into from
Apr 13, 2024

Conversation

wenzhixin
Copy link
Owner

@wenzhixin wenzhixin commented Apr 13, 2024

🤔Type of Request

  • Bug fix
  • New feature
  • Improvement
  • Documentation
  • Other

📝Changelog

  • Added editorconfig lint.
  • Fixed some English type in the docs.

☑️Self Check before Merge

⚠️ Please check all items below before reviewing. ⚠️

  • Doc is updated/provided or not needed
  • Demo is updated/provided or not needed
  • Changelog is provided or not needed

@wenzhixin wenzhixin merged commit c6d3bf4 into develop Apr 13, 2024
1 check passed
@wenzhixin wenzhixin deleted the feature/editorconfig branch April 13, 2024 03:48
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

1 participant