From 5f1d0281661c087b0bfc7f69701eb54ad190bde0 Mon Sep 17 00:00:00 2001
From: Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Date: Wed, 22 Jan 2025 19:54:49 +0000
Subject: [PATCH] Update ocaml compiler version in CI

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 618851e2..d464468f 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -18,7 +18,7 @@ jobs:
           - macos-latest
         ocaml-compiler:
           - "4.14"
-          - "5.2"
+          - "5.3"
     runs-on: ${{ matrix.os }}
     env:
       # allow opam depext to yes package manager prompts