Merge pull request #563 from MatthewFluet/ci-updates

Switch from `macos-latest` to `macos-13`
MLton · May 13, 2024 · 3c08771 · 3c08771
2 parents d688f0e + d3a3648
commit 3c08771
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -13,7 +13,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ubuntu-latest, macos-latest, windows-latest]
+        os: [ubuntu-latest, macos-13, windows-latest]
         cc: ["gcc", "clang"]
         codegen: ["amd64", "c", "llvm"]
         exclude: