Bump OCaml compiler version

4ever2 · Jan 14, 2025 · d159c33 · d159c33
1 parent 0e67dfc
commit d159c33
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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
@@ -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