From 2faf78564df775da5b92e93f615bcc9c8d2624a0 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 20 Feb 2024 21:00:49 -0500
Subject: [PATCH] CI

---
 .github/workflows/main.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 88e2d8a6..e2ceb80c 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -40,5 +40,7 @@ jobs:
 
       # install some depopts
       - run: opam install thread-local-storage trace domain-local-await
+        if: matrix.ocaml-compiler == '5.1'
+
       - run: opam exec -- dune build @install @runtest