From ddbf5828f532008ab310f1e1d027677580a7eb32 Mon Sep 17 00:00:00 2001 From: Antonio Nuno Monteiro Date: Mon, 24 Jun 2024 14:32:15 -0700 Subject: [PATCH] fix macos x86_64 github actions (#1146) --- .github/workflows/nix-build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/nix-build.yml b/.github/workflows/nix-build.yml index ec4f11f1f..b7555a533 100644 --- a/.github/workflows/nix-build.yml +++ b/.github/workflows/nix-build.yml @@ -38,7 +38,7 @@ jobs: strategy: matrix: os: - - macos-latest + - macos-13 - macos-14 ocaml-version: - 5_2