From e28f84b7a024a94ed2c5ea9dd328fd9038237467 Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Fri, 12 Jul 2019 18:15:26 +0100 Subject: [PATCH] Updated .travis.yml and _config.yml --- .travis.yml | 2 +- _config.yml | 6 ++++++ 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index f68c5c60..acd1bd2c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -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: diff --git a/_config.yml b/_config.yml index 54b3558f..c196fa96 100644 --- a/_config.yml +++ b/_config.yml @@ -34,7 +34,13 @@ exclude: - "hs/" - "extra/" - "depr/" + - "papers/" + - "slides/" - "vendor/" + - "*.agdai" + - "*.agda-lib" - "*.lagda.md" + - "Guardfile" - "Gemfile" - "Gemfile.lock" + - "highlight.sh"