Following the instructions I fail at the point of searching in the board manager for the stm32duino as the following error occurs: Error downloading https://github ...

The first stable release of Arduino IDE 2.0 is now out. Based on the Eclipse Theia framework, the new IDE provides a more modern and user-friendly user interface, faster compilation time, and more ...

Any sketch (around 6 I am working on, all with ESP32 different boards) takes hours to compile on my win10 core i7 PC. Antivirus is off. The same sketches compile in seconds on my pi using IDE 1.8.19 ...