Skip to content

ci: use Ruff as new formatter and linter#233

Merged
jdroenner merged 11 commits intomainfrom
ruff
Jul 18, 2025
Merged

ci: use Ruff as new formatter and linter#233
jdroenner merged 11 commits intomainfrom
ruff

Commits

Commits on Jul 15, 2025

Commits on Jul 17, 2025