diff --git a/hooks/pre-commit b/hooks/pre-commit new file mode 100755 index 00000000..d80d4d10 --- /dev/null +++ b/hooks/pre-commit @@ -0,0 +1,14 @@ +#!/usr/bin/sh +# Script to verify what is about to be committed. + +# If any command fails, exit immediately with that command's exit status +set -eo pipefail + +make format +echo "Code formatting step passed" + +make verify +echo "Code verification and linting passed" + +make check-types +echo "Type hints verification passed"