[Test] Arm CI#2739

davegarthsimpson wants to merge 10 commits intomainarduino/arduino-ide:mainfrom

test-arm-ciarduino/arduino-ide:test-arm-ciCopy head branch name to clipboard