diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index aa33ed93..9dd5a339 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -12,7 +12,7 @@ jobs: strategy: matrix: os: - - macos-latest + #- macos-latest - ubuntu-latest - windows-latest ocaml-compiler: