Skip to content

chore: add lint script#341

Merged
43081j merged 1 commit intomainfrom
lint-script
Feb 25, 2026
Merged

chore: add lint script#341
43081j merged 1 commit intomainfrom
lint-script

Conversation

@43081j
Copy link
Contributor

@43081j 43081j commented Feb 25, 2026

No description provided.

@43081j 43081j merged commit 0fe2df2 into main Feb 25, 2026
3 checks passed
@43081j 43081j deleted the lint-script branch February 25, 2026 22:02
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.

1 participant