Merge 065ea8aeec into 14a94d379a

.github/actions/workspace/action.yml

@@ -38,7 +38,7 @@ runs:
       with:
         path: ${{ inputs.path }}
         key: ${{ inputs.key_prefix }}-${{ inputs.key_base }}-${{ inputs.key_suffix }}
-        fail-on-cache-miss: true
+        fail-on-cache-miss: false
     - name: Delete workspace
       if: ${{ inputs.action == 'delete' }}
       shell: bash

.github/workflows/tests.yml

@@ -24,7 +24,7 @@ jobs:
     name: Unix
     strategy:
       matrix:
-        os: [ubuntu-latest, macos-latest]
+        os: [ubuntu-latest, macos-latest, macos-15]
         build_type: [release, debug]
       fail-fast: false
     uses: ./.github/workflows/unix_impl.yml