From de1240e5dd4037b97079e0fcc8edce2912c05b07 Mon Sep 17 00:00:00 2001
From: Sakamoto Noriaki <mrty.ityt.pt@gmail.com>
Date: Mon, 23 Oct 2023 13:53:58 +0900
Subject: [PATCH] Build SATySFi against OCaml 4.07.1 (#667)

---
 .github/workflows/ci.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 3fa12aed..2a0d5382 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -28,7 +28,7 @@ jobs:
           - stable-0-0-5
         include:
           - os: 'ubuntu-latest'
-            ocaml-version: '4.06.1'
+            ocaml-version: '4.07.1'
             snapshot: stable-0-0-4
     runs-on: ${{ matrix.os }}
     env: