From ceb0b094263d1395bf36f55803e3fb9b52a04217 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 4 Jul 2021 18:39:07 -0400 Subject: [PATCH] chore: disable CI on mac OS for now - no particular system dependency, so low chances of breaking on mac OS - in CI, takes a while --- .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 26efc36d..09222c24 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -6,9 +6,9 @@ jobs: strategy: matrix: os: - - macos-latest - ubuntu-latest - windows-latest + #- macos-latest # clogs CI ocaml-compiler: - 4.04.x - 4.10.x