From f84d3f7937949f92cf724cc45dfea977a73fbae0 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 30 May 2023 23:54:16 -0400 Subject: [PATCH] disable mac OS in CI for now --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index c8cfd8a9..6432a697 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -13,8 +13,8 @@ jobs: fail-fast: true matrix: os: - - macos-latest - ubuntu-latest + #- macos-latest #- windows-latest ocaml-compiler: - '4.05.x'