From c89c54218d6182aa5c73362144538cc2de4cf843 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 5 Sep 2024 08:40:23 -0400 Subject: [PATCH] chore: CI --- .github/workflows/main.yml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 96b0699..c1459b5 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -2,10 +2,10 @@ name: build on: push: branches: - - master + - main pull_request: branches: - - master + - main jobs: run: name: Build @@ -16,8 +16,9 @@ jobs: # - macos-latest # build issues with `ar` (!!!) #- windows-latest # certificate problem ocaml-compiler: - - 4.03.x + - 4.08.x - 4.12.x + - 5.2.x runs-on: ${{ matrix.os }} steps: - uses: actions/checkout@v2