7 lines · 237 bytes · executable
1#!/bin/sh
2# Optional git pre-commit hook: run the 1MB budget + solver gate.
3# Install (from the repo root):
4# ln -s ../../tools/pre-commit .git/hooks/pre-commit
5set -eu
6root=$(git rev-parse --show-toplevel)
7exec "$root/tools/check.sh"