Expressif idf version about lua-rtos-esp32 HOT 1 OPEN

The answer to your question is written in your question's output itself already:

I followed the instructions for building on Linux Debian. But at the end, I got build errors about mismatched toolchains. It looks like it was expecting and older version and was incompatible with the newer toolchain I installed.

Which expressif toolchain version should I use to build this code?

Here is the build output:

I followed the instructions for building on Linux Debian. But at the end, I got build errors about mismatched toolchains. It looks like it was expecting and older version and was incompatible with the newer toolchain I installed.

Which expressif toolchain version should I use to build this code?

Here is the build output:

Using sdkconfig file
Toolchain path: /home/pi/.espressif/tools/xtensa-esp-elf/esp-13.2.0_20230928/xtensa-esp-elf/bin/xtensa-esp32-elf-gcc
WARNING: Toolchain version is not supported: esp-13.2.0_20230928
Expected to see version: crosstool-ng-1.22.0-80-g6c4433a
Please check ESP-IDF setup instructions and update the toolchain, or proceed at your own risk.
WARNING: Compiler version is not supported: 13.2.0
Expected to see version(s): 5.2.0
Please check ESP-IDF setup instructions and update the toolchain, or proceed at your own risk.
Toolchain version is not supported: esp-13.2.0_20230928
Expected to see version: crosstool-ng-1.22.0-80-g6c4433a
Please check ESP-IDF setup instructions and update the toolchain.
Makefile:245: *** Aborting. Stop.

from lua-rtos-esp32.