summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2017-07-10 15:00:34 +0200
committerMarcello Stanisci <marcello.stanisci@inria.fr>2017-07-10 15:00:55 +0200
commit0a4625c634b1d66523d52e2ee43561a9627a206d (patch)
treeebd8c278d41261c97aa8c6e59b9e3ec0ef5d7b88
parent209a8d16fa26535f17edb3b1222d98e016c79fd2 (diff)
downloaddeployment-0a4625c634b1d66523d52e2ee43561a9627a206d.tar.gz
deployment-0a4625c634b1d66523d52e2ee43561a9627a206d.tar.bz2
deployment-0a4625c634b1d66523d52e2ee43561a9627a206d.zip
+doc-builder among e-mail notifications
-rw-r--r--buildbot/master.cfg2
1 files changed, 1 insertions, 1 deletions
diff --git a/buildbot/master.cfg b/buildbot/master.cfg
index 987bf18..2b279a1 100644
--- a/buildbot/master.cfg
+++ b/buildbot/master.cfg
@@ -235,7 +235,7 @@ irc = reporters.IRC("irc.eu.freenode.net", "taler-bb",
email = reporters.MailNotifier(fromaddr="testbuild@taler.net",
sendToInterestedUsers=False,
mode=("problem"),
- builders=("switcher-builder"),
+ builders=("switcher-builder", "doc-builder"),
extraRecipients=["marcello.stanisci@inria.fr",
"florian.dold@inria.fr",
"christian@grothoff.org"],