Re-direct miniconda installation through reverse proxy (!223) · Merge requests · bob / bob.devtools · GitLab

Snippets Groups Projects

Merged André Anjos requested to merge conda-proxy into master 4 years ago

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

Activity

André Anjos added 1 commit 4 years ago
added 1 commit

756beca7 - [bootstrap] Run conda info before updating the installation

Compare with previous version
André Anjos enabled an automatic merge when the pipeline for 756beca7 succeeds 4 years ago

enabled an automatic merge when the pipeline for 756beca7 succeeds
André Anjos merged 4 years ago

merged
André Anjos mentioned in commit b73e1128 4 years ago

mentioned in commit b73e1128
Amir MOHAMMADI mentioned in issue bob#269 (closed) 3 years ago

mentioned in issue bob#269 (closed)

Please register or sign in to reply