Merge pull request #2277 from traversaro:patch-43

PiperOrigin-RevId: 704676667 Change-Id: I9e0161afc7a6b9f45464498aad35337d1d9f9eaa
google-deepmind · Dec 10, 2024 · 83c0ac1 · 83c0ac1
2 parents 4a40e3f + 376dc59
commit 83c0ac1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -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