Where does Arduino IDE save compiled code (aka "binary blob") to upload to espTools?

[Fran_iii]

I have several goals in learning about this...
One of them is finding where the Arduino IDE source code is compiled to before it is uploaded to the device... Arduino Uno or EXP32.

Here are the questions:

1 - Clicking the "Verify" Icon on the Arduino IDE causes the source code to compile but not upload to the device... correct?

2 - Where on a Windows 10 PC would the code compile to... which folder?

3 - Where on a Linux Mint machine would the code compile to?

One of my other goals is to use the espTools utility to upload the "binary blob" to an esp32 DevKit v4 board... or whatever.

Thanks for any help.

[chegewara]

Arduino IDE is smart tool. There is window under code with logs, that will tell you where you can find binaries after building.