CI of mc_mujoco

FetchContent mujoco 3.0.1 if MUJOCO_ROOT_DIR not provided #523

Sign in to view logs

Triggered via push December 7, 2023 04:41

rohanpsingh

topic/auto-download-mujoco

Status Success

Total duration 3m 40s

Artifacts –

ci.yml

on: push

Matrix: build