From 70fbb4cbda40f826d166c175340c205f0dd780b0 Mon Sep 17 00:00:00 2001
From: Fabien Chouteau <chouteau@adacore.com>
Date: Mon, 19 Aug 2024 11:18:33 +0200
Subject: [PATCH] Bump ocaml version

---
 .github/workflows/linux.yml     | 4 ++--
 .github/workflows/macos.yml     | 4 ++--
 .github/workflows/macos_arm.yml | 4 ++--
 .github/workflows/windows.yml   | 4 ++--
 4 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
index 64855ab..64e8a01 100644
--- a/.github/workflows/linux.yml
+++ b/.github/workflows/linux.yml
@@ -141,7 +141,7 @@ jobs:
     strategy:
       matrix:
         ocaml-compiler:
-          - 4.11.2
+          - 4.12.1
 
     runs-on: ubuntu-20.04
     steps:
@@ -180,7 +180,7 @@ jobs:
     strategy:
       matrix:
         ocaml-compiler:
-          - "4.11.2"
+          - 4.12.1
     runs-on: ubuntu-20.04
     steps:
       - name: Checkout code
diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml
index 259a4c4..c6ff4e8 100644
--- a/.github/workflows/macos.yml
+++ b/.github/workflows/macos.yml
@@ -138,7 +138,7 @@ jobs:
     strategy:
       matrix:
         ocaml-compiler:
-          - 4.11.2
+          - 4.12.1
     runs-on: macos-12
     steps:
       - name: Checkout code
@@ -176,7 +176,7 @@ jobs:
     strategy:
       matrix:
         ocaml-compiler:
-          - "4.11.2"
+          - 4.12.1
 
     runs-on: macos-12
     steps:
diff --git a/.github/workflows/macos_arm.yml b/.github/workflows/macos_arm.yml
index 0f09772..4aebc29 100644
--- a/.github/workflows/macos_arm.yml
+++ b/.github/workflows/macos_arm.yml
@@ -101,7 +101,7 @@ jobs:
     strategy:
       matrix:
         ocaml-compiler:
-          - 4.11.2
+          - 4.12.1
     runs-on: macos-14
     steps:
       - name: Checkout code
@@ -139,7 +139,7 @@ jobs:
     strategy:
       matrix:
         ocaml-compiler:
-          - "4.11.2"
+          - 4.12.1
 
     runs-on: macos-14
     steps:
diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
index da0c97b..32259e4 100644
--- a/.github/workflows/windows.yml
+++ b/.github/workflows/windows.yml
@@ -188,7 +188,7 @@ jobs:
     strategy:
       matrix:
         ocaml-compiler:
-          - 4.11.2
+          - 4.12.1
     runs-on: windows-2019
     steps:
       - name: Checkout code
@@ -226,7 +226,7 @@ jobs:
     strategy:
       matrix:
         ocaml-compiler:
-          - "4.11.2"
+          - 4.12.1
     runs-on: windows-2019
     steps:
       - name: Checkout code