1.0.12: Upgrade to MuJoCo 2.3.4

saran-t released this 20 Apr 17:42

· 200 commits to main since this release

f3ae36a

Bump version number to 1.0.12.

PiperOrigin-RevId: 525778016
Change-Id: Ie5b62969dc40dbcf5aa6f95a41d771f9ce2a902b

Assets 2