Due to a regression in 2.3.5 (#2696), auto-update won't trigger for users who are already using Arduino IDE 2.3.5. Please manually download the new version from https ...

The developer platform for on-demand cloud development environments to create software faster and more securely.