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"
+
+
+