Skip to content

Enable link-time optimisation for release builds - #1009

Merged
MichaelRawson merged 2 commits into
vprover:masterfrom
Dragon-Hatcher:lto-release
Oct 6, 2026
Merged

Enable link-time optimisation for release builds#1009
MichaelRawson merged 2 commits into
vprover:masterfrom
Dragon-Hatcher:lto-release

Only print IPO check output when VERBOSE_IPO_FAILURE is set

d4f0632
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Oct 6, 2026 in 21m 54s