From ea751da71afb1aa64bba57c506fe82a9cecbdd2b Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 10 Jan 2024 12:48:59 -0500
Subject: [PATCH] fix CI

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

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index da80072..8af8ab6 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -16,7 +16,7 @@ jobs:
           #- macos-latest
         ocaml-compiler:
           - 4.08.x
-          - 5.1.x
+          - 5.0.x
     runs-on: ${{ matrix.os }}
     steps:
     - uses: actions/checkout@v2