Skip to content

chore(dev): add pre-commit hooks mirroring the CI lint gate#3

Merged
thomas-villani merged 1 commit into
mainfrom
chore/pre-commit-hooks
Jun 15, 2026
Merged

chore(dev): add pre-commit hooks mirroring the CI lint gate#3
thomas-villani merged 1 commit into
mainfrom
chore/pre-commit-hooks

chore(dev): add pre-commit hooks mirroring the CI lint gate

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

Annotations

3 warnings
Type check (mypy --strict)
succeeded Jun 15, 2026 in 12s