author | Fabian 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 |
etc/options | file | annotate | diff | comparison | revisions |
--- 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"