mjkey requirement? #8
Description
The docker image building requires mjkey.txt, a mujoco key, which is no longer necessary as of MuJoCo's acquirement by Deepmind.
{{ message }}
The docker image building requires mjkey.txt, a mujoco key, which is no longer necessary as of MuJoCo's acquirement by Deepmind.