wip

maximedenes · Oct 27, 2023 · bde53d2 · bde53d2
1 parent 842521a
commit bde53d2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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
+          dune runtest