diff options
Diffstat (limited to 'tools/ci.sh')
| -rwxr-xr-x | tools/ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index 3e695c63a..594bca800 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -169,7 +169,7 @@ function ci_cc3200_build { # ports/esp32 # GitHub tag of ESP-IDF to use for CI (note: must be a tag or a branch) -IDF_VER=v5.4.1 +IDF_VER=v5.4.2 PYTHON=$(command -v python3 2> /dev/null) PYTHON_VER=$(${PYTHON:-python} --version | cut -d' ' -f2) |