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

Commits

Commits on Oct 21, 2025

Commits on Oct 23, 2025