diff options
| author | DJ O'Leary <dijitol@proton.me> | 2025-11-29 20:08:11 +0100 |
|---|---|---|
| committer | DJ O'Leary <dijitol@proton.me> | 2025-11-29 20:09:11 +0100 |
| commit | 87277098e997661f432be56c27f4b54d51aa9306 (patch) | |
| tree | 83846830e5102120ef298e8ad9a552b30203fdc6 /2025/ocaml/.githooks/pre-push | |
| parent | 0bf49c4ec799445350c60a96a754e44ac15a2268 (diff) | |
chore: use updated template
Diffstat (limited to '2025/ocaml/.githooks/pre-push')
| -rwxr-xr-x | 2025/ocaml/.githooks/pre-push | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/2025/ocaml/.githooks/pre-push b/2025/ocaml/.githooks/pre-push new file mode 100755 index 0000000..51a8761 --- /dev/null +++ b/2025/ocaml/.githooks/pre-push @@ -0,0 +1,18 @@ +#!/usr/bin/env bash +# Pre-push hook - run tests before pushing + +set -e + +echo "๐งช Running tests before push..." + +# Run the full test suite +task test + +if [ $? -eq 0 ]; then + echo "โ
All tests passed! Push allowed." + exit 0 +else + echo "โ Tests failed! Push blocked." + echo "Fix the failing tests before pushing." + exit 1 +fi |
