Be sure to pick “Upload Method: STLink” from the Tools menu of the Arduino IDE. If it doesn’t work ... Do a build (the checkmark icon) and — assuming you checked the box in step 2 ...

a cloud-based Arduino IDE replete with built-in libraries, documentation, and the ability to upload your code to an Arduino from a browser. To compile an Arduino sketch, codebender uses clang a ...