Fix CI failures curling miniconda installer on macos
This PR fixes a CI issue where the curl of the miniconda installer for macOS fails to handle a redirect.
This PR fixes a CI issue where the curl of the miniconda installer for macOS fails to handle a redirect.