Skip to content

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

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

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

Annotations

1 notice
Analyze (c-cpp)
succeeded Oct 7, 2026 in 50s