Merge branch dev into master #21

Job	Run time
build (arduino:avr:uno, - name: arduino:avr )	47s
build (arduino:samd:mkr1000, - name: arduino:samd )	1m 23s
build (arduino:samd:mkrzero, - name: arduino:samd )	1m 20s
build (arduino:samd:mkrwifi1010, - name: arduino:samd )	1m 27s
build (arduino:samd:mkrfox1200, - name: arduino:samd )	1m 17s
build (arduino:samd:mkrwan1300, - name: arduino:samd )	1m 25s
build (arduino:samd:mkrwan1310, - name: arduino:samd )	1m 18s
build (arduino:samd:mkrgsm1400, - name: arduino:samd )	1m 17s
build (arduino:samd:mkrnb1500, - name: arduino:samd )	1m 18s
build (arduino:samd:mkrvidor4000, - name: arduino:samd )	1m 22s
build (arduino:mbed_rp2040:pico, - name: arduino:mbed_rp2040 )	2m 46s
build (arduino:mbed_nano:nano33ble, - name: arduino:mbed_nano )	2m 51s
build (arduino:mbed_nano:nanorp2040connect, - name: arduino:mbed_nano )	2m 42s
build (arduino:mbed_edge:edge_control, - name: arduino:mbed_edge )	2m 55s
build (esp32:esp32:esp32, - name: esp32:esp32 source-url: https://raw.githubusercontent.com/esp...	3m 9s
build (rp2040:rp2040:rpipico, - name: rp2040:rp2040 source-url: https://github.com/earlephilhow...	2m 8s
	29m 25s

Provide feedback