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