Since Mujoco has a newer version, 3.3.0, I would like to ask how to upgrade from 2.3.7 to 3.3.0.
Since Mujoco has a newer version, 3.3.0, I would like to ask how to upgrade from 2.3.7 to 3.3.0.