Skip to content
CI of mc_mujoco

FetchContent mujoco 3.0.1 if MUJOCO_ROOT_DIR not provided #523

Sign in to view logs

FetchContent mujoco 3.0.1 if MUJOCO_ROOT_DIR not provided

FetchContent mujoco 3.0.1 if MUJOCO_ROOT_DIR not provided #523

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-20.04, gcc, RelWithDebInfo)
3m 30s
3m 30s