Skip to content

Set up ruff and mypy#2

Merged
DavidvtWout merged 9 commits into
mainfrom
ruff
Apr 26, 2026
Merged

Set up ruff and mypy#2
DavidvtWout merged 9 commits into
mainfrom
ruff

Commits

Commits on Apr 26, 2026