Skip to content

Tooling: add ruff to git hooks#211

Merged
Guts merged 5 commits intomainfrom tooling/add-ruff-git-hookMar 2, 2023

Commits

Commits on Mar 2, 2023