michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update .travis.yml to send build logs only to leansmt-dev list.

Browse source
This commit is contained in:
Soonho Kong 2013-08-01 16:08:58 -07:00
parent d9f64cd390
commit 3c1a65235c
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.travis.yml
View file

@ -55,8 +55,6 @@ install:
notifications:
email:
recipients:
- soonhok@cs.cmu.edu
- leonardo@microsoft.com
- leansmt-dev@googlegroups.com
on_success: always
on_failure: always