Arduino CI is failing despite all the examples and tests run properly. Further investigation is needed.