From d159c3360f46a292b802bc3c895468997eb31fe1 Mon Sep 17 00:00:00 2001
From: 4ever2 <3417013+4ever2@users.noreply.github.com>
Date: Tue, 14 Jan 2025 14:09:17 +0100
Subject: [PATCH] Bump OCaml compiler version

---
 .github/workflows/build.yml         | 2 +-
 .github/workflows/lint-opam.yml     | 2 +-
 .github/workflows/refresh-cache.yml | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index a736c985..e4d758c3 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -27,8 +27,8 @@ concurrency:
 permissions:
   contents: read
 env:
-  OCAML_COMILER_VERSION: "4.13.1"
   JOBS: 2
+  OCAML_COMILER_VERSION: "4.14.2"
 jobs:
   build:
     runs-on: ubuntu-latest
diff --git a/.github/workflows/lint-opam.yml b/.github/workflows/lint-opam.yml
index 51ebdc67..4e585e41 100644
--- a/.github/workflows/lint-opam.yml
+++ b/.github/workflows/lint-opam.yml
@@ -18,7 +18,7 @@ jobs:
       - name: Set up opam
         uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-compiler: 4.13.x
+          ocaml-compiler: 4.14.x
           opam-repositories: |
             coq-released: https://coq.inria.fr/opam/released
             default: https://opam.ocaml.org
diff --git a/.github/workflows/refresh-cache.yml b/.github/workflows/refresh-cache.yml
index 4ecd6be3..b334f5cd 100644
--- a/.github/workflows/refresh-cache.yml
+++ b/.github/workflows/refresh-cache.yml
@@ -9,7 +9,7 @@ concurrency:
 permissions:
   contents: read
 env:
-  OCAML_COMILER_VERSION: "4.13.1"
+  OCAML_COMILER_VERSION: "4.14.2"
 jobs:
   cache:
     runs-on: ubuntu-latest