• I'm not really sure, how do I find out? I just used the scripts/provision.sh ESP32 line for building.

    Looking at the script, it looks like this one: curl -Ls https://github.com/espruino/EspruinoBuil­dTools/raw/master/esp32/deploy/esp-idf.t­gz | tar xfz - --no-same-owner

    (commit message says it's 3.1.3)

About

Avatar for JumJum @JumJum started