From e0d8048747d6c6c6c15fa33cceb7acaadc39ff9a Mon Sep 17 00:00:00 2001
From: Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Date: Thu, 3 Oct 2024 11:01:01 +0100
Subject: [PATCH] Don't test smtml CI build in ocaml 5.1

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 000d8a15..38174386 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -18,7 +18,6 @@ jobs:
           - macos-latest
         ocaml-compiler:
           - "4.14"
-          - "5.1"
           - "5.2"
     runs-on: ${{ matrix.os }}
     env: