Skip to content
This repository has been archived by the owner on Oct 21, 2023. It is now read-only.

chore: add more linter #14

Merged
merged 1 commit into from
Aug 21, 2023
Merged

chore: add more linter #14

merged 1 commit into from
Aug 21, 2023

Conversation

kehiy
Copy link
Owner

@kehiy kehiy commented Aug 21, 2023

No description provided.

@kehiy kehiy self-assigned this Aug 21, 2023
@kehiy kehiy added enhancement New feature or request core changes about core labels Aug 21, 2023
@kehiy kehiy merged commit c17cf49 into main Aug 21, 2023
5 checks passed
@kehiy kehiy deleted the feature/moreLinter branch August 21, 2023 22:02
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
core changes about core enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant