#!/gnu/store/hzm7zba4lzfjmkp58z5rj84d2ahp8n41-bash-4.3.42/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
