Arduino Web Editor does not currently support 3rd party boards such as the ESP32. You should use the standard Arduino IDE, which you can download from:
Arduino Web Editor does not currently support 3rd party boards such as the ESP32. You should use the standard Arduino IDE, which you can download from: