From 64bd211ac72fa3691a8884aee64ec2c347fefb3c Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 20 Jun 2023 13:16:21 -0400 Subject: [PATCH] ci --- .github/workflows/main.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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