Merge pull request #192 from mathieucarbou/memory #135

Job	Run time
arduino package_esp32_index.json	2m 15s
arduino package_esp32_dev_index.json	4m 57s
arduino package_esp8266com_index.json	1m 54s
pio esp32dev\|arduino	54s
arduino package_rp2040_index.json	2m 27s
pio esp32dev\|arduino-2	50s
pio esp32dev\|arduino-3	1m 43s
pio esp32-s3-devkitc-1\|arduino	56s
pio esp32-s3-devkitc-1\|arduino-2	1m 13s
pio esp32-s3-devkitc-1\|arduino-3	1m 51s
pio huzzah\|espressif8266	1m 4s
	20m 4s

Provide feedback