From 477c780f18358a4774438d38fa4a6b191b53918b Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 23 Jun 2023 21:42:43 -0400
Subject: [PATCH] CI

---
 .github/workflows/gh-pages.yml | 4 ++--
 .github/workflows/main.yml     | 6 ++++--
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index ee446be9..c25cd155 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -18,9 +18,9 @@ jobs:
           path: ~/.opam
           key: opam-ubuntu-latest-4.12.0
 
-      - uses: avsm/setup-ocaml@v1
+      - uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-version: '4.12.0'
+          ocaml-compiler: '4.14'
 
       - name: Pin
         run: opam pin -n .
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index d2b3e23e..363b850d 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -1,6 +1,8 @@
 name: build
 on:
   push:
+    branches:
+      - master
   pull_request:
     branches:
       - master
@@ -14,8 +16,8 @@ jobs:
             #- windows-latest   # see  https://github.com/ocaml/setup-ocaml/issues/361
             #- macos-latest  # clogs CI
         ocaml-compiler:
-          - 4.08.x
-          - 4.14.x
+          - 4.08
+          - 4.14
     runs-on: ${{ matrix.os }}
     steps:
     - uses: actions/checkout@v2