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.
merged
authorwenzelm
Tue, 22 Oct 2024 23:56:48 +0200
changeset 81239 41a39fa0cae0
parent 81224 6922f189cb43 (diff)
parent 81238 a8502d492dde (current diff)
child 81240 47b95e6af3c8
merged
--- a/etc/options	Tue Oct 22 22:52:27 2024 +0200
+++ b/etc/options	Tue Oct 22 23:56:48 2024 +0200
@@ -523,8 +523,8 @@
 option ci_mail_smtp_host : string = "" for connection
 option ci_mail_smtp_port : int = 587 for connection
 
-option ci_mail_from : string = "ci@isabelle.systems"
+option ci_mail_from : string = "ci@proof.cit.tum.de"
   -- "mail address for build failure notifications"
-  
+
 option ci_mail_to : string = ""
   -- "recipient address for build failure notifications"
isabelle