Re: [PATCH] ci: Disable optimization on macos-12