Skip to content

Add ruff. Use ruff lint (not format) in github workflow. Tests OK 41 of#4

Merged
JulianBriggs merged 1 commit intomainfrom
dev
Feb 18, 2026
Merged

Add ruff. Use ruff lint (not format) in github workflow. Tests OK 41 of#4
JulianBriggs merged 1 commit intomainfrom
dev

Commits