diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 3a5c66ec..aebd8efa 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -3,7 +3,7 @@ name: build on: pull_request: push: - branch: + branches: - master jobs: @@ -13,7 +13,7 @@ jobs: matrix: os: - ubuntu-latest - - windows-latest + #- windows-latest #- macos-latest ocaml-compiler: - 4.08.x