Bump actions/checkout from 2 to 4 in /.github/workflows #1090

Job	Run time
build (arduino:samd:mkr1000, mkr1000)	4m 13s
build (arduino:samd:mkrwifi1010, nina)	3m 47s
build (arduino:samd:nano_33_iot, nina)	3m 54s
build (arduino:samd:mkrwan1300, wan)	2m 25s
build (arduino:samd:mkrgsm1400, gsm)	4m 20s
build (arduino:samd:mkrnb1500, nb)	4m 18s
build (arduino:mbed_portenta:envie_m7, mbed_portenta)	17m 47s
build (esp8266:esp8266:huzzah, esp8266)	2m 35s
build (esp32:esp32:esp32, esp32)	6m 41s
build (arduino:mbed_nano:nanorp2040connect, nina)	12m 17s
build (arduino:mbed_nicla:nicla_vision, mbed_nicla)	11m 26s
build (arduino:mbed_opta:opta, mbed_opta)	16m 26s
build (arduino:mbed_giga:giga, mbed_giga)	15m 56s
build (arduino:renesas_portenta:portenta_c33, renesas_portenta)	6m 48s
build (arduino:renesas_uno:unor4wifi, renesas_uno)	3m 38s
build (arduino:esp32:nano_nora, arduino_esp32)	6m 22s
build (arduino:mbed_edge:edge_control, mbed_edge)	6m 15s
	2h 9m 8s

Provide feedback