The Arduino forum is generally for MCU boards and software manufactured and distributed by Arduino.
Other manufacturers and volunteers have modified the Arduino IDE to work with their compilers and linkers, and nothing is guaranteed to work as it does (well, if it does) with Arduino boards. You might try the ESP32 forum.