Re: [PATCH] ci: Switch from macOS 13 to macOS 15