New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

style(nyz): update mujoco docker download path #386

Merged

PaParaZz1 merged 1 commit into main from fix-docker-mujoco

Jun 21, 2022

Member

PaParaZz1 commented Jun 21, 2022

Description

Related Issue

TODO

Check List

merge the latest version source branch/repo, and resolve all the conflicts
pass style check
pass all the tests


          style(nyz): update mujoco docker download path

PaParaZz1 added the env label

PaParaZz1 merged commit 549f2eb into main

PaParaZz1 deleted the fix-docker-mujoco branch

June 21, 2022 08:30

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

Labels

env