Skip to content

Use ruff and update pre-commit#72

Merged
hamdanal merged 1 commit intomainfrom
ruff
Jul 1, 2023

Commits

Commits on Jul 1, 2023