#!/gnu/store/yfk4vpvf1bp4f70gv8iz37a800l6xll5-bash-4.4.0/bin/sh

git stash -q --keep-index
./run-tests.sh
RESULT=$?
[ $RESULT == 0 ] && ./create-docs.sh && git add ./README.md
git stash pop -q
[ $RESULT -ne 0 ] && exit 1
exit 0
