5 Jul
2022
5 Jul
'22
9:22 a.m.
On 5 Jul 2022, at 09:38, David Spickett david.spickett@linaro.org wrote:
Hi Florian, thanks for the heads up. We moved this to a silent bot due to hardware issues but didn't realise that the original hardware had come back online. This should be fixed now.
I will find out how to change the notification settings for the non-silent bot config.
Great thanks!
Cheers, Florian