Closed msimberg closed 3 months ago
Abusing CI to check if https://gcc.gnu.org/onlinedocs/gnat_ugn/Compilation-options.html has any effect on binary sizes. Not necessarily meant for merging...
cscs-ci run
I'll close this. CI showed no difference, but will still try this manually.
Abusing CI to check if https://gcc.gnu.org/onlinedocs/gnat_ugn/Compilation-options.html has any effect on binary sizes. Not necessarily meant for merging...