Looks like since the esp32 is not an official board so this bug may not be addressed.
but you can file a issue for this at https://github.com/espruino/Espruino/issues
@MaBe started
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
but you can file a issue for this at https://github.com/espruino/Espruino/issues