diff options
| -rw-r--r-- | buildbot/master.cfg | 2 |
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"], |