Note: this MP affects CMake options used by the CI scripts, so we need to coordinate with CI before landing this.
« Back to merge proposal
Note: this MP affects CMake options used by the CI scripts, so we need to coordinate with CI before landing this.