Skip to content
Publish Documentation

Add ball to mujoco (#2144) #724

Sign in to view logs

Add ball to mujoco (#2144)

Add ball to mujoco (#2144) #724

Triggered via push November 19, 2025 15:37
@github-merge-queuegithub-merge-queue[bot]
pushed d0c6c31
main
Status Success
Total duration 2m 38s
Artifacts 2

documentation.yml

on: push
Build rustdoc docs
1m 16s
Build rustdoc docs
Build mkdocs
22s
Build mkdocs
Deploy to GitHub Pages
1m 16s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mkdocs Expired
4.36 MB
sha256:e018acbd29a910f778d8bdded8925b7cc79293a8d445a181e694855618f47411
rustdoc Expired
19.8 MB
sha256:4d7bc6b28e248c5b46b21326bd610e0933ff2b78ddcb99f26e9a41fcc13b3356