From fd47cbe8189c71beb7f82cdc92a0188c77e68c6b Mon Sep 17 00:00:00 2001
From: Marcello Seri <mseri@users.noreply.github.com>
Date: Tue, 19 Nov 2024 09:30:51 +0100
Subject: [PATCH] os.yml: drop support for 4.12, check also 5.2

And later we could switch to 5.3, to ensure compatibility with recent compilers
---
 .github/workflows/os.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/os.yml b/.github/workflows/os.yml
index 643edec55..3404234fe 100644
--- a/.github/workflows/os.yml
+++ b/.github/workflows/os.yml
@@ -15,10 +15,10 @@ jobs:
           - ubuntu-latest
           # - windows-latest
         ocaml-compiler:
+          - "5.2"
           - "5.1"
           - "4.14"
           - "4.12"
-          - "4.10"
 
     runs-on: ${{ matrix.os }}