Skip to content

Add a pre-commit hook and CI workflow#102

Merged
MakisH merged 3 commits into
developfrom
pre-commit
May 26, 2026
Merged

Add a pre-commit hook and CI workflow#102
MakisH merged 3 commits into
developfrom
pre-commit

Commits

Commits on May 26, 2026