Skip to content

[bootstrap] Pinning miniconda installer

André Anjos requested to merge pin-miniconda-installer into master

This MR pins the miniconda installer to circumvent issues with latest installer (see https://gitlab.idiap.ch/bob/bob.devtools/-/jobs/169897)

This should be reverted back when #32 (closed) is addressed.

Merge request reports