aboutsummaryrefslogtreecommitdiff
path: root/.githooks
diff options
context:
space:
mode:
Diffstat (limited to '.githooks')
-rwxr-xr-x.githooks/pre-commit20
1 files changed, 20 insertions, 0 deletions
diff --git a/.githooks/pre-commit b/.githooks/pre-commit
new file mode 100755
index 0000000..de1c2ce
--- /dev/null
+++ b/.githooks/pre-commit
@@ -0,0 +1,20 @@
+#!/bin/sh
+
+set -e
+
+git stash --keep-index --include-untracked --message "Pre-commit hook"
+
+lintStageResult=0
+dune build && dune runtest || lintStageResult=$?
+
+git stash pop
+if [ $lintStageResult -ne 0 ]; then
+ echo "Test stage failed"
+ exit 1
+fi
+
+git notes append -m "Built and tested with dune
+Reported-by: precommit hook"
+
+
+