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

dev: add pre-commit hooks

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

Annotations

1 warning
--disable-hpcombi --disable-eigen (macOS-latest)
succeeded Aug 22, 2026 in 7m 57s