From a19631729cff6a8c28a2909333eac21f479be764 Mon Sep 17 00:00:00 2001
From: Romain Calascibetta <romain.calascibetta@gmail.com>
Date: Wed, 11 Jan 2023 14:22:39 +0100
Subject: [PATCH] Upgrade GitHub workflow and Cirrus CI with OCaml 5.0

---
 .cirrus.yml                |  4 +---
 .github/workflows/test.yml | 13 +------------
 2 files changed, 2 insertions(+), 15 deletions(-)

diff --git a/.cirrus.yml b/.cirrus.yml
index 06d058d3..5cc1d1a6 100644
--- a/.cirrus.yml
+++ b/.cirrus.yml
@@ -6,9 +6,7 @@ freebsd_task:
     OPAMYES: 1
   env:
     matrix:
-      - OCAML_VERSION: 4.12.1
-      - OCAML_VERSION: 4.13.0
-      - OCAML_VERSION: 4.13.1
+      - OCAML_VERSION: 5.0.0
   pkg_install_script: pkg install -y ocaml-opam gmp gmake pkgconf bash
   opam_ocaml_cache:
     folder: $HOME/.opam
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index ba1bf581..d00d5563 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -5,7 +5,7 @@ jobs:
     strategy:
       matrix:
         operating-system: [ubuntu-latest]
-        ocaml-version: [4.13.1]
+        ocaml-version: [5.0.0]
         mode:
           - name: hvt
             exec: false
@@ -17,17 +17,6 @@ jobs:
             exec: false
           - name: xen
             exec: false
-        include:
-          - operating-system: ubuntu-latest
-            ocaml-version: 4.13.0
-            mode:
-              name: spt
-              exec: true
-          - operating-system: ubuntu-latest
-            ocaml-version: 4.12.1
-            mode:
-              name: spt
-              exec: true
     runs-on: ${{ matrix.operating-system }}
     steps:
     - uses: actions/checkout@v2