Update macos runner to 13 (#1005)

Reason: macos-12 is deprecated and not available anymore
actions/runner-images#10721
(Several previous CI runs were incomplete bacause of this:
https://github.com/JetBrains/skiko/actions, including a commit merged to
master -
bccb17a)

Author: eymar

.github/workflows/ci.yml

@@ -12,7 +12,7 @@ on:
 
 jobs:
   macos:
-    runs-on: macos-12
+    runs-on: macos-13
     steps:
       - uses: actions/checkout@v3
         name: 'Check out code'