equal
deleted
inserted
replaced
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" |