From 8ecc7a3ae801b0f9e59ec9720129cd7c4938f738 Mon Sep 17 00:00:00 2001 From: Antonio Nuno Monteiro Date: Fri, 3 May 2024 14:35:54 -0700 Subject: [PATCH] ci: run build on macOS x86_64 again Signed-off-by: Antonio Nuno Monteiro --- .github/workflows/workflow.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index cbac29ad220..0b52307c6ea 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -44,6 +44,10 @@ jobs: - ocaml-compiler: 5.1.x os: macos-latest skip_test: true + # macOS x86_64 (Intel) + - ocaml-compiler: 4.14.x + os: macos-13 + skip_test: true # OCaml 4: - ocaml-compiler: 4.13.x os: ubuntu-latest