From 5c885b0c091fb6a2a5d55490a498ea7206e98f67 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Fri, 6 Dec 2024 11:43:26 +0100
Subject: [PATCH] adjust CI systems: no more 4.13

---
 .cirrus.yml                   | 1 -
 .github/workflows/test.yml    | 4 ++--
 .github/workflows/windows.yml | 2 +-
 3 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/.cirrus.yml b/.cirrus.yml
index c7b6b8bb..a435b11f 100644
--- a/.cirrus.yml
+++ b/.cirrus.yml
@@ -4,7 +4,6 @@ freebsd_instance:
 freebsd_task:
   env:
     matrix:
-      - OCAML_VERSION: 4.13.1
       - OCAML_VERSION: 4.14.2
 
   pkg_install_script: pkg install -y ocaml-opam gmp gmake pkgconf bash
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 61253abb..9d6f4e2f 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -9,7 +9,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ocaml-version: ["4.14.2", "4.13.1"]
+        ocaml-version: ["4.14.2"]
         operating-system: [macos-latest, ubuntu-latest]
 
     runs-on: ${{ matrix.operating-system }}
@@ -42,7 +42,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ocaml-version: ["5.0.0"]
+        ocaml-version: ["5.2.1"]
         operating-system: [macos-latest, ubuntu-latest]
 
     runs-on: ${{ matrix.operating-system }}
diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
index d9eb7d60..7f0248cb 100644
--- a/.github/workflows/windows.yml
+++ b/.github/workflows/windows.yml
@@ -9,7 +9,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ocaml-version: ["4.14.2", "4.13.1"]
+        ocaml-version: ["4.14.2"]
         operating-system: [windows-latest]
 
     runs-on: ${{ matrix.operating-system }}