etc/options
changeset 80411 a9fce67fb8b2
parent 80406 d85ad13d8cf3
child 80459 00fcbb277dae
equal deleted inserted replaced
80410:906a7684fdce 80411:a9fce67fb8b2
   510 option ci_mail_user : string = "" for connection
   510 option ci_mail_user : string = "" for connection
   511 option ci_mail_password : string = "" for connection
   511 option ci_mail_password : string = "" for connection
   512 option ci_mail_sender : string = "" for connection
   512 option ci_mail_sender : string = "" for connection
   513 option ci_mail_smtp_host : string = "" for connection
   513 option ci_mail_smtp_host : string = "" for connection
   514 option ci_mail_smtp_port : int = 587 for connection
   514 option ci_mail_smtp_port : int = 587 for connection
       
   515 
       
   516 option ci_mail_from : string = "ci@isabelle.systems"
       
   517   -- "mail address for build failure notifications"
       
   518   
       
   519 option ci_mail_to : string = ""
       
   520   -- "recipient address for build failure notifications"