Skip to content
build

Merge branch 'main' of github.com:google-deepmind/mujoco_menagerie #100

Sign in to view logs

Merge branch 'main' of github.com:google-deepmind/mujoco_menagerie

Merge branch 'main' of github.com:google-deepmind/mujoco_menagerie #100

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (3.11)
1m 28s
1m 28s