From bde53d24325f711c63617b26d7c15b89350f5cae Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maxime=20D=C3=A9n=C3=A8s?= <maxime.denes@inria.fr>
Date: Fri, 27 Oct 2023 18:32:45 +0200
Subject: [PATCH] wip

---
 .github/workflows/ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 629a722..2fed148 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -37,7 +37,7 @@ jobs:
           - ubuntu-latest
           - windows-latest
         ocaml-compiler:
-          - "4.11.0"
+          #- "4.11.0"
           - "4.14.1"
     runs-on: ${{ matrix.os }}
     steps:
@@ -61,4 +61,4 @@ jobs:
       - name: Unit tests
         run: |
           eval $(opam env)
-          dune runtest
\ No newline at end of file
+          dune runtest