I'm using esp8266 with Blynk platform, as of updating or upgrading the system i used to send bin files through the Blynk OTA feature. So, I just wonder there is way to generate or export a compiled Binary file through Arduino cloud platform?
Sorry, I also didn't find a way to download the compiled binary file, maybe this is on purpose, to avoid excessive data traffic, in case the person is using a simulator instead of using a real board.
I don't use these platforms, but it seems to me that the data retention time is too short for free accounts, so maybe it's not worth allowing the file to be downloaded.