ESP32 Builds

Add `gpio:set_int/4` for ESP32 and STM32 #2522

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
esp-idf (4.4.6)	6m 44s
esp-idf (5.0.4)	6m 7s
esp-idf (5.1.2)	6m 29s
	19m 20s