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.

Sign up for GitHub

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

Jump to bottom

Fix code spell lint in CI #8634

Merged
merged 3 commits into from
Jun 6, 2024
Merged

Fix code spell lint in CI #8634

merged 3 commits into from
Jun 6, 2024

Conversation

nishuyes
Copy link
Contributor

@nishuyes nishuyes commented Jun 6, 2024

Fix #8587.

Fix the code spell check in CI. Fix existing typo.

shekhirin
shekhirin approved these changes Jun 6, 2024
View reviewed changes
Copy link
Collaborator

@shekhirin shekhirin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks! Also nice catch regarding the checkout of repo in CI.

@shekhirin shekhirin enabled auto-merge June 6, 2024 08:58
@shekhirin shekhirin added the A-meta Changes in the contributor workflow and planning label Jun 6, 2024
@shekhirin shekhirin added this pull request to the merge queue Jun 6, 2024
Merged via the queue into paradigmxyz:main with commit b11c83c Jun 6, 2024
30 checks passed
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@shekhirin shekhirin shekhirin approved these changes

@onbjerg onbjerg Awaiting requested review from onbjerg onbjerg is a code owner

@gakonst gakonst Awaiting requested review from gakonst gakonst is a code owner

@DaniPopes DaniPopes Awaiting requested review from DaniPopes DaniPopes is a code owner

@rakita rakita Awaiting requested review from rakita rakita is a code owner

@joshieDo joshieDo Awaiting requested review from joshieDo joshieDo is a code owner

@rkrasiuk rkrasiuk Awaiting requested review from rkrasiuk rkrasiuk is a code owner

@mattsse mattsse Awaiting requested review from mattsse mattsse is a code owner

@Rjected Rjected Awaiting requested review from Rjected Rjected is a code owner

Assignees
No one assigned
Labels
A-meta Changes in the contributor workflow and planning
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

make lint fails
2 participants
@nishuyes @shekhirin