Configured notifications for Travis

This commit is contained in:
Wen Kokke 2018-01-28 18:24:51 +00:00
parent f195408df4
commit 806b48d88c
No known key found for this signature in database
GPG key ID: 82A1AE2526064F4B

View file

@ -21,6 +21,15 @@ 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