From c7017d604c8dfc9f0bb70d8942cc0b79e86228a4 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 30 Oct 2023 09:53:17 -0400
Subject: [PATCH] modify CI params

---
 .github/workflows/main.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 53a89d898..164e6e754 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -11,10 +11,11 @@ jobs:
     strategy:
       matrix:
         #os: [macos-latest, ubuntu-latest, windows-latest]
-        os: [ubuntu-latest, windows-latest]
+        os: [ubuntu-latest]
         ocaml-compiler:
           - 4.08.x
           - 4.13.x
+          - 5.1.x
     steps:
     - uses: actions/checkout@v2
     - uses: ocaml/setup-ocaml@v2