Hello! For some reason I had to delete the .bin file from build_output/release. When I rebuilt, the file didn’t come back. I tried cleaning and deleting the .pio folder, and nothing made it appear.
The solution for that was to modify a .cpp file (add a // on a blank line) and rebuild. Then the .bin file came back.
There may be some improvement that can be made to the last build step of copying the file to build_output/release. Maybe what is needed is the build_output/release/*.bin file should be a build target, that has a build action which is the file copy.
Always had the same issue, the file being copied to build_output only happens when there’s a change, if pio just grabs it from cache because that exact thing has been built earlier it won’t get copied, probably skips the post actions when “nothing” actually needed to be done