Skip to content

Update pre-commit, switch to ruff#57

Merged
gadomski merged 3 commits intomainfrom fix-ciAug 7, 2024