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 ...

The project, called arduino-cli, is the first time that the official toolchain has departed from the Java-based editor known as the Arduino IDE ... So to compile and upload you have this ...