update macos workflow

VeriFIT · Dec 19, 2024 · 90613cf · 90613cf
1 parent a6c4d03
commit 90613cf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml
@@ -12,7 +12,7 @@ on:
 
 jobs:
   setup:
-    runs-on: macos-12
+    runs-on: macos-15
     steps:
       - uses: actions/checkout@v3
       - name: Building MacOS dependencies