It turns out that ci.linaro.org doesn't have mailer configured, so we can't even receive cron notifications.
It turns out that ci.linaro.org doesn't have mailer configured, so we can't even receive cron notifications.