Skip to content

chore: New linting setup.#579

Merged
cpojer merged 4 commits intomainfrom
lint-updates
Feb 10, 2026
Merged

chore: New linting setup.#579
cpojer merged 4 commits intomainfrom
lint-updates

Conversation

@cpojer
Copy link
Copy Markdown
Member

@cpojer cpojer commented Feb 10, 2026

This PR enables a number of lint rules + fixes up the violations.

Copy link
Copy Markdown
Member Author

cpojer commented Feb 10, 2026

This stack of pull requests is managed by Graphite. Learn more about stacking.

@cpojer cpojer marked this pull request as ready for review February 10, 2026 05:50
@cpojer cpojer merged commit e37a723 into main Feb 10, 2026
27 of 30 checks passed
Copy link
Copy Markdown
Member Author

cpojer commented Feb 10, 2026

Merge activity

@cpojer cpojer deleted the lint-updates branch February 10, 2026 06:04
cpojer added a commit that referenced this pull request Feb 10, 2026
Somehow #579 was merged by Graphite without passing CI. The fixes are in this PR.
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