Hello,
I’m all new to platformio and I’d like to use it for my Arduino boards replacing the Arduino IDE.
Is it possible to export compiled binary hex files?
On Arduino I select Sketch > Export compiled Binary and I get 2 hex files, with and without bootloader.

You’re right, by default they only build the .bin file. To change this, go into your PlatformIO folder (/home/<user>/.platform or C:\Users\<user>\.platform and open packages/ststm32/builder/main.py and change