chore: attempts to fix CI

imandra-ai · Feb 23, 2024 · 7c48c45 · 7c48c45
1 parent 7d95854
commit 7c48c45
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -16,8 +16,8 @@ jobs:
           - ubuntu-latest
           # - windows-latest
         ocaml-compiler:
-          - 4.14.x
-          # - 4.08.x
+          # - 4.14.x
+          - 5.1.x
           # - 4.06.x
 
     runs-on: ${{ matrix.os }}

diff --git a/dune-project b/dune-project
@@ -20,6 +20,9 @@
  (depends
   ocaml
   containers
+  cohttp-eio
+  eio
+  eio_main
   cohttp
   ppx_deriving
   cohttp-lwt-unix

diff --git a/imandra-http-api-client.opam b/imandra-http-api-client.opam
@@ -11,6 +11,9 @@ depends: [
   "dune" {>= "2.7"}
   "ocaml"
   "containers"
+  "cohttp-eio"
+  "eio"
+  "eio_main"
   "cohttp"
   "ppx_deriving"
   "cohttp-lwt-unix"