Skip to content

Use Ruff as linter#3

Merged
fnattino merged 11 commits into
mainfrom
ruff-fn
Oct 24, 2025
Merged

Use Ruff as linter#3
fnattino merged 11 commits into
mainfrom
ruff-fn