Skip to content

dev: add pre-commit hooks - #482

Open
james-d-mitchell wants to merge 1 commit into
libsemigroups:mainfrom
james-d-mitchell:add-pre-commit
Open

dev: add pre-commit hooks#482
james-d-mitchell wants to merge 1 commit into
libsemigroups:mainfrom
james-d-mitchell:add-pre-commit

Commits

Commits on Aug 22, 2026