update ci mail address;
authorFabian Huch <huch@in.tum.de>
Tue, 22 Oct 2024 17:32:34 +0200 (3 months ago)
changeset 81224 6922f189cb43
parent 81223 f63ffe7f4234
child 81239 41a39fa0cae0
update ci mail address;
etc/options
--- a/etc/options	Mon Oct 21 22:58:14 2024 +0200
+++ b/etc/options	Tue Oct 22 17:32:34 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"