Skip to content

Linting and Formatting: replacing current linters and formatters with Ruff, fixing issues caught by Ruff#314

Merged
mgovers merged 3 commits intomainfrom
feature/add-ruff
Jun 11, 2025
Merged

Linting and Formatting: replacing current linters and formatters with Ruff, fixing issues caught by Ruff#314
mgovers merged 3 commits intomainfrom
feature/add-ruff

Commits

Commits on Jun 11, 2025