Remove old miniconda on osx before reinstalling
This MR modifies the OSX jobs to completely destroy any old miniconda installation before reinstalling; hopefully this will prevent the sort of failures that have been plaguing the OSX jobs recently.
This MR modifies the OSX jobs to completely destroy any old miniconda installation before reinstalling; hopefully this will prevent the sort of failures that have been plaguing the OSX jobs recently.