Aarni Koskela bdf92f6c33 Upgrade CI + lint tools (#745) ... * Upgrade Ruff, use it for formatting too * Upgrade GitHub Actions		2024-03-21 10:10:23 +02:00
..
ISSUE_TEMPLATE	Update bug_report.md	2023-04-02 10:08:16 +02:00
workflows	Upgrade CI + lint tools (#745)	2024-03-21 10:10:23 +02:00
CONTRIBUTING.md	Rename contributing.md to CONTRIBUTING.md	2023-01-17 08:24:32 +02:00