From d3a3648748007396a08ae4c2d34b35e1b645dedb Mon Sep 17 00:00:00 2001 From: Matthew Fluet Date: Mon, 13 May 2024 11:30:37 -0400 Subject: [PATCH] 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. --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 997de6799..5dbb57a40 100644 --- 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: