From 83f0355c1018c4ff0251d44aa21109b70c4d5ab5 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 30 Aug 2024 13:00:26 -0400 Subject: [PATCH] require OCaml 4.14 :/ --- .github/workflows/main.yml | 2 +- dune-project | 2 +- moonpool.opam | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index e378b883..3fe7263e 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -16,7 +16,7 @@ jobs: os: - ubuntu-latest ocaml-compiler: - - '4.13' + - '4.14' - '5.2' runs-on: ${{ matrix.os }} diff --git a/dune-project b/dune-project index a0c17c59..53fc8b1e 100644 --- a/dune-project +++ b/dune-project @@ -16,7 +16,7 @@ (name moonpool) (synopsis "Pools of threads supported by a pool of domains") (depends - (ocaml (>= 4.13)) + (ocaml (>= 4.14)) dune (either (>= 1.0)) (trace :with-test) diff --git a/moonpool.opam b/moonpool.opam index e9411025..1747161a 100644 --- a/moonpool.opam +++ b/moonpool.opam @@ -9,7 +9,7 @@ tags: ["thread" "pool" "domain" "futures" "fork-join"] homepage: "https://github.com/c-cube/moonpool" bug-reports: "https://github.com/c-cube/moonpool/issues" depends: [ - "ocaml" {>= "4.13"} + "ocaml" {>= "4.14"} "dune" {>= "3.0"} "either" {>= "1.0"} "trace" {with-test}