diff options
Diffstat (limited to '2025/ocaml/.githooks/pre-push')
| -rwxr-xr-x | 2025/ocaml/.githooks/pre-push | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/2025/ocaml/.githooks/pre-push b/2025/ocaml/.githooks/pre-push deleted file mode 100755 index 51a8761..0000000 --- a/2025/ocaml/.githooks/pre-push +++ /dev/null @@ -1,18 +0,0 @@ -#!/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 |
