reset everything differently

This commit is contained in:
Anthony Scopatz 2018-09-04 20:32:55 -04:00
parent dea8c99df0
commit fe35bce20e

View file

@ -66,11 +66,11 @@ script:
git checkout $(git describe --tags `git rev-list --tags --max-count=1`);
pip install --upgrade .;
git clean -fdx;
git checkout -- .;
git reset --hard HEAD;
cd docs;
make clean html;
cd ..;
git checkout -- .;
git reset --hard HEAD;
doctr deploy --deploy-repo xonsh/xonsh-docs .;
else
py.test --timeout=10;