CI: drop 4.12

robur-coop · Aug 29, 2024 · 8605131 · 8605131
1 parent 3a65b53
commit 8605131
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.cirrus.yml b/.cirrus.yml
@@ -13,7 +13,7 @@ regular_task_template: &REGULAR_TASK_TEMPLATE
 
 task:
   << : *PKG_INSTALL_TASK_TEMPLATE
-  ocaml_script: opam init -a --comp=4.12.1
+  ocaml_script: opam init -a --comp=4.13.1
   << : *REGULAR_TASK_TEMPLATE
   name: FreeBSD 13.3
   freebsd_instance:

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -9,7 +9,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ocaml-version: ["4.14.0", "4.13.1", "4.12.1"]
+        ocaml-version: ["4.14.2", "4.13.1"]
         operating-system: [macos-latest, ubuntu-latest]
 
     runs-on: ${{ matrix.operating-system }}