fix: downgrade runner to macOS 13 (#131)

Author: svenjacobs

.github/workflows/verify-pr.yml

@@ -23,7 +23,7 @@ jobs:
 
   test:
     timeout-minutes: 30
-    runs-on: macos-latest
+    runs-on: macos-13
     strategy:
       matrix:
         api-level: [ 21, 29 ]