projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
ce6d5ca
)
Send Travis-CI emails to everyone
author
Morgan Deters
<mdeters@cs.nyu.edu>
Mon, 16 Dec 2013 19:34:38 +0000
(14:34 -0500)
committer
Morgan Deters
<mdeters@cs.nyu.edu>
Mon, 16 Dec 2013 19:34:38 +0000
(14:34 -0500)
.travis.yml
patch
|
blob
|
history
diff --git
a/.travis.yml
b/.travis.yml
index aabb37762ba1fe941a33c85ca864da018e13d91e..8acc8a5460bab43b536082194beed2abe5ae1bf8 100644
(file)
--- a/
.travis.yml
+++ b/
.travis.yml
@@
-33,6
+33,5
@@
matrix:
fast_finish: true
notifications:
email:
- recipients: mdeters@cs.nyu.edu
on_success: change
on_failure: always