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

chore: Set up linting #406

Open
wants to merge 8 commits into
base: main
Choose a base branch
from
Open

chore: Set up linting #406

wants to merge 8 commits into from

Conversation

mgax
Copy link
Contributor

@mgax mgax commented Apr 4, 2024

Fix #379

This PR should be rebased after the other large in-flight PRs get merged.

@mgax mgax marked this pull request as ready for review June 19, 2024 08:02
@mgax
Copy link
Contributor Author

mgax commented Jun 19, 2024

@kesara I've rebased this PR and it's ready for review. Thanks!

@kesara
Copy link
Member

kesara commented Aug 1, 2024

@mgax Thanks for the PR and sorry about leaving this PR without a review.

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.

Setup linting
2 participants