Switch from macos-latest to macos-13

`macos-latest` has switched to `macos-14` (`arm64`), which will be nice to use, but will require some additional updates.
MLton · May 13, 2024 · d3a3648 · d3a3648
1 parent d688f0e
commit d3a3648
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: