#!/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"