diff --git a/.travis.yml b/.travis.yml index 98c70afc..c1c2bbf1 100644 --- a/.travis.yml +++ b/.travis.yml @@ -22,15 +22,6 @@ addons: - libgmp-dev - libicu-dev -# Configure recipients for notifications -notifications: - email: - recipients: - - wen.kokke@ed.ac.uk - - wadler@inf.ed.ac.uk - on_success: never - on_failure: always - before_install: # Download and unpack the stack executable - mkdir -p ~/.local/bin @@ -40,7 +31,7 @@ before_install: - make travis-setup script: -- make +- make build before_deploy: - rm -rf .bundle