Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less hidden configuration;
authorFabian Huch <huch@in.tum.de>
Thu, 31 Oct 2024 14:58:53 +0100
changeset 81288 346290d51e7b
parent 81287 f7d7a6a4f857
child 81290 9786f64d8285
less hidden configuration;
etc/options file | annotate | diff | comparison | revisions 
--- 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"
isabelle