Skip to content
Snippets Groups Projects

[bootstrap] Pinning miniconda installer

Merged 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

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Loading
  • Loading
  • Loading
Please register or sign in to reply
Loading