# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1730383133 -3600
# Node ID 346290d51e7ba757d930f0a5fab55dbed6b6da6f
# Parent  f7d7a6a4f8579a2dc77e71268221385909f1f036
less hidden configuration;

diff -r f7d7a6a4f857 -r 346290d51e7b etc/options
--- a/etc/options	Thu Oct 31 14:56:59 2024 +0100
+++ b/etc/options	Thu Oct 31 14:58:53 2024 +0100
@@ -519,12 +519,12 @@
 
 option ci_mail_user : string = "" for connection
 option ci_mail_password : string = "" for connection
-option ci_mail_sender : string = "" for connection
-option ci_mail_smtp_host : string = "" for connection
-option ci_mail_smtp_port : int = 587 for connection
+option ci_mail_sender : string = "ci@proof.cit.tum.de" for connection
+option ci_mail_smtp_host : string = "mail.cit.tum.de" for connection
+option ci_mail_smtp_port : int = 465 for connection
 
 option ci_mail_from : string = "ci@proof.cit.tum.de"
   -- "mail address for build failure notifications"
 
-option ci_mail_to : string = ""
+option ci_mail_to : string = "isabelle-ci@mailman46.in.tum.de"
   -- "recipient address for build failure notifications"