Change CI runner for macos Rust API test runner to macos13 instead of 12

Author: NlightNFotis

.github/workflows/pull-request-check-rust-api.yaml

@@ -68,8 +68,8 @@ jobs:
           CBMC_INCLUDE_DIR=../../${{env.default_include_dir}} CBMC_LIB_DIR=../../${{env.default_build_dir}}/lib CBMC_VERSION=$VERSION cargo test -- --test-threads=1
 
 
-  check-macos-12-cmake-clang-rust:
-    runs-on: macos-12
+  check-macos-13-cmake-clang-rust:
+    runs-on: macos-13
     steps:
       - uses: actions/checkout@v3
         with: