diff --git a/.github/container/Dockerfile.mjx b/.github/container/Dockerfile.mjx index 4a4d9d005..81abfb07a 100644 --- a/.github/container/Dockerfile.mjx +++ b/.github/container/Dockerfile.mjx @@ -16,7 +16,7 @@ echo "mujoco: latest_verified_commit: 4f53d9a0d7bde4b9a69994d79449dfd57a04c305 mode: git-clone" >> ${MANIFEST_FILE} get-source.sh -l mujoco -m ${MANIFEST_FILE} -echo "-e -f https://py.mujoco.org/ file://${SRC_PATH_MJX}" >> /opt/pip-tools.d/requirements-mjx.in +echo "-e file://${SRC_PATH_MJX}" >> /opt/pip-tools.d/requirements-mjx.in ls -lah /opt/mujoco/mjx cat /opt/pip-tools.d/requirements-mjx.in