Skip to content

Ruff linter and contribution guide #69

Merged
merged 19 commits into from
Jul 19, 2023
Merged

Ruff linter and contribution guide #69

merged 19 commits into from
Jul 19, 2023
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Contribution Guideline Migration to Ruff linter
4 participants