Skip to content

Re-direct miniconda installation through reverse proxy

André Anjos requested to merge conda-proxy into master

This MR also changes miniconda installer download from using our mirror to using the proxy.

Merge request reports