Merge branch 'miniconda-proxy' into 'master'

Use local proxy

See merge request !125
5 jobs for master in 6 minutes and 59 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed build_linux_36 #178706
docker

00:02:45

passed build_linux_37 #178707
docker

00:02:33

passed build_macosx_36 #178708
macosx

00:05:03

passed build_macosx_37 #178709
macosx

00:04:52

 
  Deploy
passed deploy_beta #178710
docker

00:01:56