diff --git a/.travis.yml b/.travis.yml index 86d4c02fe..0937713dd 100644 --- a/.travis.yml +++ b/.travis.yml @@ -55,6 +55,7 @@ install: notifications: email: recipients: + - soonho.kong@gmail.com - leansmt-dev@googlegroups.com on_success: always on_failure: always