Skip to content

Introduce pre-commit hooks#160

Merged
JakobKlotz merged 3 commits into
mainfrom
pre-commit
Feb 9, 2026
Merged

Introduce pre-commit hooks#160
JakobKlotz merged 3 commits into
mainfrom
pre-commit

Commits

Commits on Feb 9, 2026