Desktop IDE: how to flash over serial?

I have used the browser IDE to download the firmware.bin and flash my devices over usb using CLI, I thought I would try the windows desktop IDE, I can compile on the cloud but where is the .bin file?
The windows desktop IDE doesnt seem to download the bin file.

Yes it does. It’s usually placed in the project folder you opened via Open Folder ...

Found it thanks!