Skip to content

chore: fix typos suggested by typos-cli#25

Merged
MaxXSoft merged 1 commit into
pku-minic:masterfrom
hsqStephenZhang:fix/typos
Mar 4, 2026
Merged

chore: fix typos suggested by typos-cli#25
MaxXSoft merged 1 commit into
pku-minic:masterfrom
hsqStephenZhang:fix/typos

Conversation

@hsqStephenZhang
Copy link
Copy Markdown
Contributor

I have to say, the typos are very rare! There little work to be done actually.

Perhaps a better question is whether typos-cli should be integrated into CI.

@MaxXSoft
Copy link
Copy Markdown
Member

MaxXSoft commented Mar 4, 2026

Thanks!

I don't think it's necessary to integrate this into CI.

@MaxXSoft MaxXSoft merged commit 64c8be0 into pku-minic:master Mar 4, 2026
1 check passed
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.

2 participants