Skip to content

Update and pin pre commit and ruff to recent version.#1358

Merged
janfb merged 3 commits intomainfrom update-pre-commitJan 13, 2025

Commits

Commits on Jan 10, 2025