Merge branch 'update-miniconda-installer' into 'master'

Update miniconda installer to 4.7.12;  Fix hashes to avoid...

See merge request !120

No related branches found

No related tags found

Checking pipeline status