On Fri, 2023-06-02 at 15:28 +0200, Konrad Windszus wrote: > Thanks, but I would rename the page. The failures are not specific to > Jenkins or CI but rather generic Maven build with Java 17 issues. > Konrad
Sure, feel free to rename as you see fit. Thanks, Robert
