VSCODE 编译 arduino 没有ESP32开发板的选择

问题遇到的现象和发生背景

这里没有ESP32的选项

问题相关代码，请勿粘贴截图

运行结果及报错内容

我的解答思路和尝试过的方法

我想要达到的结果

应该是网络问题，你的网络无法访问github