Merge pull request #2277 from traversaro:patch-43

PiperOrigin-RevId: 704676667 Change-Id: I9e0161afc7a6b9f45464498aad35337d1d9f9eaa
2024-12-10 06:05:56 -08:00
parent 4a40e3fd15 376dc59ea0
commit 83c0ac148c
1 changed files with 1 additions and 1 deletions
@@ -96,7 +96,7 @@ jobs:
              -DCMAKE_CXX_COMPILER:STRING=clang++-10
              -DMUJOCO_HARDEN:BOOL=ON
            tmpdir: "/tmp"
-          - os: macos-12
+          - os: macos-13
            cmake_args: >-
              -G Ninja
              -DMUJOCO_HARDEN:BOOL=ON