Prov 2.0 for nina boards #1864

Job	Run time
build (arduino:samd:mkr1000, mkr1000, arduino-samd-mkr1000)	4m 18s
build (arduino:samd:mkrwifi1010, nina, arduino-samd-mkrwifi1010)	1m 47s
build (arduino:samd:nano_33_iot, nina, arduino-samd-nano_33_iot)	2m 1s
build (arduino:samd:mkrgsm1400, gsm, arduino-samd-mkrgsm1400)	4m 24s
build (arduino:samd:mkrnb1500, nb, arduino-samd-mkrnb1500)	4m 30s
build (arduino:samd:mkrwan1300, wan, arduino-samd-mkrwan1300)	2m 44s
build (esp8266:esp8266:huzzah, esp8266, esp8266-esp8266-huzzah)	2m 44s
build (arduino:mbed_opta:opta, mbed_opta, arduino-mbed_opta-opta)	18m 48s
build (arduino:esp32:nano_nora, arduino_esp32, arduino-esp32-nano_nora)	6m 37s
build (arduino:mbed_portenta:envie_m7, mbed_portenta, arduino-mbed_portenta-envie_m7)	17m 52s
build (arduino:mbed_nano:nanorp2040connect, nina, arduino-mbed_nano-nanorp2040connect)	2m 25s
build (arduino:renesas_portenta:portenta_c33, renesas_portenta, arduino-renesas_portenta-portenta...	8m 46s
build (arduino:mbed_nicla:nicla_vision, mbed_nicla, arduino-mbed_nicla-nicla_vision)	14m 42s
build (rp2040:rp2040:rpipicow, rp2040, rp2040-rp2040-rpipicow)	4m 48s
build (arduino:mbed_giga:giga, mbed_giga, arduino-mbed_giga-giga)	18m 15s
build (esp32:esp32:esp32, esp32, esp32-esp32-esp32)	10m 41s
build (arduino:renesas_uno:unor4wifi, renesas_uno, arduino-renesas_uno-unor4wifi)	5m 39s
build (arduino:mbed_edge:edge_control, mbed_edge, arduino-mbed_edge-edge_control)	5m 54s
	2h 16m 55s

Provide feedback