Corrected a typing issue in gen8.ino #15

Job	Run time
build (arduino:avr:uno, - name: arduino:avr )	58s
build (arduino:samd:mkr1000, - name: arduino:samd )	1m 24s
build (arduino:samd:mkrzero, - name: arduino:samd )	1m 26s
build (arduino:samd:mkrwifi1010, - name: arduino:samd )	1m 24s
build (arduino:samd:mkrfox1200, - name: arduino:samd )	1m 20s
build (arduino:samd:mkrwan1300, - name: arduino:samd )	1m 28s
build (arduino:samd:mkrwan1310, - name: arduino:samd )	1m 22s
build (arduino:samd:mkrgsm1400, - name: arduino:samd )	1m 24s
build (arduino:samd:mkrnb1500, - name: arduino:samd )	1m 22s
build (arduino:samd:mkrvidor4000, - name: arduino:samd )	1m 23s
build (arduino:mbed_rp2040:pico, - name: arduino:mbed_rp2040 )	2m 39s
build (arduino:mbed_portenta:envie_m7, - name: arduino:mbed_portenta )	3m 7s
build (arduino:mbed_portenta:envie_m4, - name: arduino:mbed_portenta )	55s
build (arduino:mbed_nano:nano33ble, - name: arduino:mbed_nano )	2m 36s
build (arduino:mbed_nano:nanorp2040connect, - name: arduino:mbed_nano )	2m 37s
build (arduino:mbed_edge:edge_control, - name: arduino:mbed_edge )	2m 43s
build (esp32:esp32:esp32, - name: esp32:esp32 source-url: https://raw.githubusercontent.com/esp...	3m 59s
build (rp2040:rp2040:rpipico, - name: rp2040:rp2040 source-url: https://github.com/earlephilhow...	2m 28s
build (rp2040:rp2040:rpipico2, - name: rp2040:rp2040 source-url: https://github.com/earlephilho...	2m 47s
	37m 22s

Provide feedback