Skip to content

make mink optional#797

Open
snasiriany wants to merge 1 commit intomasterfrom
mink-dep
Open

make mink optional#797
snasiriany wants to merge 1 commit intomasterfrom
mink-dep

Conversation

@snasiriany
Copy link
Contributor

What this does

Remove the mink dependency as a required package to install, because it interferes with other installations too much

How it was tested

Tried uninstalling mink (pip uninstall mink) and robosuite still works.

SECTION TO REMOVE BEFORE SUBMITTING YOUR PR

Note: Anyone in the community is free to review the PR once the tests have passed. Feel free to tag
members/contributors who may be interested in your PR. Try to avoid tagging more than 3 people.

Note: Before submitting this PR, please read the contributor guideline.

@kevin-thankyou-lin
Copy link
Contributor

test failed - for testing we can pip install mink

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants