Order custom board option menus as defined in platform configuration · arduino/arduino-ide@62aee5c

'ConfigOption' is declared but its value is never read.

Process completed with exit code 1.

Restore cache failed: Dependencies file is not found in /__w/arduino-ide/arduino-ide. Supported file pattern: go.sum