Skip to content

chore: lower the ruff and pyright issue budgets - #256

Merged
github-actions[bot] merged 1 commit into
mainfrom
chore/lower-lint-budget
Oct 7, 2026
Merged

github-actions[bot] merged 1 commit into
mainfrom
chore/lower-lint-budget

Conversation

@github-actions

@github-actions github-actions Bot commented Oct 7, 2026

Copy link
Copy Markdown
Contributor

The ruff and pyright issue counts on main are below the budgets in lint-budget.json.
This pull request adopts the current counts as the new budgets, so the improvement cannot be undone.

Generated by the lint budget workflow running python tools/lint_budget.py.

@github-actions
github-actions Bot enabled auto-merge (squash) October 7, 2026 09:43
@github-actions
github-actions Bot merged commit ee58138 into main Oct 7, 2026
10 checks passed
@pjljvandelaar
pjljvandelaar deleted the chore/lower-lint-budget branch October 7, 2026 09:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants