Upgrade eio to 0.15

mbarbin · Mar 1, 2024 · da3548c · da3548c
1 parent aa03421
commit da3548c
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -4,6 +4,7 @@
 
 ### Changed
 
+- Upgrade `eio` to `0.15`.
 - Run `ppx_js_style` as a linter & make it a `dev` dependency.
 - Upgrade GitHub workflows `actions/checkout` to v4.
 - In CI, specify build target `@all`, and add `@lint`.

diff --git a/auto-format.opam b/auto-format.opam
@@ -11,9 +11,9 @@ depends: [
   "dune" {>= "3.14"}
   "ocaml" {>= "5.1"}
   "base" {>= "v0.16" & < "v0.17"}
-  "eio" {>= "0.14"}
+  "eio" {>= "0.15"}
   "eio-writer" {>= "0.0.3"}
-  "eio_main" {>= "0.14"}
+  "eio_main" {>= "0.15"}
   "expect_test_helpers_core" {with-test & >= "v0.16" & < "v0.17"}
   "fpath" {>= "0.7.3"}
   "fpath-extended" {>= "0.0.7"}

diff --git a/dune-project b/dune-project
@@ -26,11 +26,11 @@
     (>= v0.16)
     (< v0.17)))
   (eio
-   (>= 0.14))
+   (>= 0.15))
   (eio-writer
    (>= 0.0.3))
   (eio_main
-   (>= 0.14))
+   (>= 0.15))
   (expect_test_helpers_core
    (and
     :with-test