[bootstrap] Pinning miniconda installer
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.
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.
enabled an automatic merge when the pipeline for 41f9010f succeeds
merged
mentioned in commit f276562b