Skip to content

DO NOT MERGE: Set default optimization to O3, 2nd try

multrusrequested to merge
use-O3-by-default into main

This is a follow-up to !2630, but from a fresh version of the code, with hopefully all issues resolved.

Merge request reports