It's probably just a warning from the IDE, since there is no JSON file describing ESP32 on the Espruino website at the moment. It should still work.
But please can you avoid posting ESP32 related questions over questions about official Espruino boards in future? It'll just end up confusing people who've bought proper Espruino boards.
© Espruino, powered by microcosm.
Report a problem