On 21 Sep 2020, at 13:43, Marcus Denker <marcus.denker@inria.fr> wrote:Hi,We changed the setup of the CI to send automatic mails now to another list ���log-ci���.If you want to get these messages in the future directly by email, you have to subscribe to this new listOr you can check the archive in the case you need to: