CI: run on 5.0; run on every branch push

imandra-ai · Sep 1, 2023 · e56865d · e56865d
1 parent 1e71d93
commit e56865d
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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 }}