Merge pull request #9 from monolithicpower/dev #26

Job	Run time
build (arduino:avr:uno, - name: arduino:avr )	53s
build (arduino:samd:mkr1000, - name: arduino:samd )	1m 23s
build (arduino:samd:mkrzero, - name: arduino:samd )	1m 29s
build (arduino:samd:mkrwifi1010, - name: arduino:samd )	1m 26s
build (arduino:samd:mkrfox1200, - name: arduino:samd )	1m 24s
build (arduino:samd:mkrwan1300, - name: arduino:samd )	1m 26s
build (arduino:samd:mkrwan1310, - name: arduino:samd )	1m 26s
build (arduino:samd:mkrgsm1400, - name: arduino:samd )	1m 23s
build (arduino:samd:mkrnb1500, - name: arduino:samd )	1m 30s
build (arduino:samd:mkrvidor4000, - name: arduino:samd )	1m 26s
build (arduino:mbed_rp2040:pico, - name: arduino:mbed_rp2040 )	3m 8s
build (arduino:mbed_nano:nano33ble, - name: arduino:mbed_nano )	3m 17s
build (arduino:mbed_nano:nanorp2040connect, - name: arduino:mbed_nano )	3m 15s
build (arduino:mbed_edge:edge_control, - name: arduino:mbed_edge )	3m 33s
build (esp32:esp32:esp32, - name: esp32:esp32 source-url: https://raw.githubusercontent.com/esp...	4m 6s
build (rp2040:rp2040:rpipico, - name: rp2040:rp2040 source-url: https://github.com/earlephilhow...	2m 40s
	33m 45s

Provide feedback