diff --git a/.travis.yml b/.travis.yml
index 34ac3b5cb..3ed71c6e3 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -7,3 +7,6 @@ install:
   - pip install .
 script:
   - python setup.py test
+notifications:
+  email:
+    - benchexec-dev@googlegroups.com