Remove .versions before deploy

This commit is contained in:
Wen Kokke 2020-07-14 19:37:17 +01:00
parent d4c89dfeec
commit 9ad1787a58

View file

@ -51,7 +51,7 @@ script:
before_deploy: before_deploy:
- make clean - make clean
- rm -rf hs/ epub/ extra/ papers/ .bundle/ vendor/ *.agda-lib **/*.lagda.md **/*.sh Guardfile Gemfile Gemfile.lock Makefile .gitignore .travis.yml - rm -rf hs/ epub/ extra/ papers/ .bundle/ vendor/ .versions/ *.agda-lib **/*.lagda.md **/*.sh Guardfile Gemfile Gemfile.lock Makefile .gitignore .travis.yml
branches: branches:
only: only: