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

chore: lower the ruff and pyright issue budgets

e7e9fcb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Analyze (python)
succeeded Oct 7, 2026 in 53s