From c915730833b974dd0b6742d7fad8a788afd0502e Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 31 Aug 2023 23:31:52 -0400 Subject: [PATCH] CI: run on 5.0; run on every branch push --- .github/workflows/main.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index aebd8efa..ff924cff 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -3,8 +3,6 @@ name: build on: pull_request: push: - branches: - - master jobs: build: @@ -18,6 +16,7 @@ jobs: ocaml-compiler: - 4.08.x - 4.13.x + - 5.0.x runs-on: ${{ matrix.os }}