How to export .bin files?

I’m gonna try to make OTA updates.
The way I used to do so has been through mDash. It works fine, requires only the .bin file to be uploaded.

In Arduino IDE there’s something like a export command directly in the menu.
How to get a .bin file from compiled code in VSCode/PlatformIO?

Thank you.

.pio\build\<environment name>\firmware.bin. See docs.

Thank you very much.