Update MuJoCo version to 3.12.0 in preparation for breaking changes release.

PiperOrigin-RevId: 965899864 Change-Id: I4fb90e357bed3d7f2f8d86e500aed53646c4b1ea
2026-08-17 05:01:00 -07:00
parent 4c993fb238
commit bbdda5dda5
17 changed files with 38 additions and 38 deletions
@@ -395,7 +395,7 @@ Defined in `mujoco.h <https://github.com/google-deepmind/mujoco/blob/main/includ
     - value
     - description
   * - ``mjVERSION_HEADER``
-     - 3011001
+     - 3012000
     - The version of the MuJoCo headers. This is an integer calculated from the version string "S.M.P"
       using the formula ``(S * 1e6) + (M * 1e3) + P``. For example, version 4.2.1 is represented as 4002001.
       The API function :ref:`mj_version` returns a number with the same meaning