diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index d5b4f6a7..3a8da611 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -18,7 +18,7 @@ jobs:
               #- macos-latest
               #- windows-latest
         ocaml-compiler:
-            - '4.12'
+            - '4.13'
             - '5.1'
 
     runs-on: ${{ matrix.os }}
diff --git a/dune b/dune
index 2bd327fd..160e4a22 100644
--- a/dune
+++ b/dune
@@ -1,3 +1,3 @@
 (env
  (_
-  (flags :standard -strict-sequence -warn-error -a+8 -w +a-4-40-42-70)))
+  (flags :standard -strict-sequence -warn-error -a+8 -w +a-4-40-42-48-70)))
diff --git a/dune-project b/dune-project
index 39007670..d76c6f74 100644
--- a/dune-project
+++ b/dune-project
@@ -15,7 +15,7 @@
  (name imandrakit)
  (synopsis "Core utils library for Imandra")
  (depends
-  (ocaml (>= 4.12))
+  (ocaml (>= 4.13))
   dune
   (moonpool (>= 0.6))
   (containers
diff --git a/imandrakit.opam b/imandrakit.opam
index 436b657d..0dce91dd 100644
--- a/imandrakit.opam
+++ b/imandrakit.opam
@@ -9,7 +9,7 @@ tags: ["moonpool" "multicore" "thread" "logs" "logging"]
 homepage: "https://github.com/imandra-ai/imandrakit"
 bug-reports: "https://github.com/imandra-ai/imandrakit/issues"
 depends: [
-  "ocaml" {>= "4.12"}
+  "ocaml" {>= "4.13"}
   "dune" {>= "3.0"}
   "moonpool" {>= "0.6"}
   "containers" {>= "3.4"}