Reproducible builds with `mbed compile`

Hi,
I’m dealing with FUOTA and especially delta updates. So I’m wondering how deterministic mbed compile is in conjunction with ARM GCC.
Generak approaches include preventing of timestamps and using a fixed path.
Does anyone have experiences with or observations on that for compiling mbed projects?

Thanks in advance.

While playing with the bootloader and pelion, I used a lot of diff and sha256sum to compare binary files. From my experience builds are reproductible.
But I’ll let mbed members/partners shine in on that matter.

This article could be useful.