Update to current Mac OS runner version

peternewman · web-flow · commit ce67921f1abf · 2025-06-29T00:40:32.000+01:00
diff --git a/.github/workflows/compilation.yml b/.github/workflows/compilation.yml
@@ -3,7 +3,7 @@ name: compilation
 on: [push, pull_request]
 jobs:
   compile:
-    runs-on: macos-12
+    runs-on: macos-13
     strategy:
       fail-fast: false
       matrix:
