Skip to content

Comments

chore: use current ruff checker#133

Merged
miketheman merged 2 commits intodavidmreed:mainfrom
miketheman:miketheman/pre-commit-update
Oct 25, 2025
Merged

chore: use current ruff checker#133
miketheman merged 2 commits intodavidmreed:mainfrom
miketheman:miketheman/pre-commit-update

Commits

Commits on Oct 25, 2025