diff --git a/.travis.yml b/.travis.yml index 3c97afda0..63225d51c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -57,5 +57,6 @@ notifications: recipients: - soonhok@cs.cmu.edu - leonardo@microsoft.com + - leansmt-dev@googlegroups.com on_success: always on_failure: always