Skip to content

make mink optional#797

Merged
kevin-thankyou-lin merged 2 commits intomasterfrom
mink-dep
Mar 3, 2026
Merged

make mink optional#797
kevin-thankyou-lin merged 2 commits intomasterfrom
mink-dep

Conversation

@snasiriany
Copy link
Contributor

@snasiriany snasiriany commented Mar 2, 2026

What this does

Remove the mink dependency as a required package to install, because it interferes with other installations too much. Also updated workflow file to install mink==0.0.5 explicitly

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

@Abhiram824
Copy link
Member

test failed - for testing we can pip install mink

Workflow already installs mink, i think we need to install the specific version in the workflow - ive updated the PR accordingly

@kevin-thankyou-lin kevin-thankyou-lin merged commit aaa8b9b into master Mar 3, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants