Add ruff. Use ruff lint (not format) in github workflow. Tests OK 41 of#4
Merged
JulianBriggs merged 1 commit intomainfrom Feb 18, 2026
Merged
Add ruff. Use ruff lint (not format) in github workflow. Tests OK 41 of#4JulianBriggs merged 1 commit intomainfrom
JulianBriggs merged 1 commit intomainfrom