Updated .travis.yml and _config.yml

This commit is contained in:
Wen Kokke 2019-07-12 18:15:26 +01:00
parent 4f929c51a5
commit e28f84b7a0
2 changed files with 7 additions and 1 deletions

View file

@ -44,7 +44,7 @@ script:
before_deploy:
- acknowledgements -i _config.yml >> _config.yml
- make clean
- rm -rf .bundle/ vendor/ hs/ src/ extra/ .gitignore .travis.yml Gemfile Gemfile.lock Makefile
- rm -rf hs/ extra/ depr/ papers/ slides/ vendor/ *.agdai *.agda-lib *.lagda.md Guardfile Gemfile Gemfile.lock Makefile highlight.sh .gitignore .travis.yml
branches:
only:

View file

@ -34,7 +34,13 @@ exclude:
- "hs/"
- "extra/"
- "depr/"
- "papers/"
- "slides/"
- "vendor/"
- "*.agdai"
- "*.agda-lib"
- "*.lagda.md"
- "Guardfile"
- "Gemfile"
- "Gemfile.lock"
- "highlight.sh"