Skip to content

chore: drop the unused Python tooling - #13

Merged
markuslf merged 2 commits into
mainfrom
chore/drop-unused-python-tooling
Aug 3, 2026
Merged

chore: drop the unused Python tooling#13
markuslf merged 2 commits into
mainfrom
chore/drop-unused-python-tooling

chore: drop the ruff pre-commit hooks

ef1ce02
Select commit
Loading
Failed to load commit list.
Sign in for the full log view