More linting - #7

Open

flip-dots wants to merge 7 commits into

mainfrom

Commits on Mar 18, 2026

Add recommended extensions
flip-dots
committed
31f5d45
Configure ruff
flip-dots
committed
ed1810c
Add workflow for ruff
flip-dots
committed
d734189
Add workflow for mypy
flip-dots
committed
c7127da
Add linting tools
flip-dots
committed
9b72c69
Fix typo in ignore rules
flip-dots
committed
4aa00ea
Ignore use of assert in test files
flip-dots
committed
053ea19