tools/pre-commit


1
2
3
4
5
6
7

#!/bin/sh
# Optional git pre-commit hook: run the 1MB budget + solver gate.
# Install (from the repo root):
#   ln -s ../../tools/pre-commit .git/hooks/pre-commit
set -eu
root=$(git rev-parse --show-toplevel)
exec "$root/tools/check.sh"