From a4dbc5804e2647d060829badecf4782750dc3b04 Mon Sep 17 00:00:00 2001
From: Kate <kit-ty-kate@exn.st>
Date: Thu, 29 May 2025 15:08:50 +0100
Subject: [PATCH] CI: avoid opam --strict by using opam lint instead

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9908aa3..6c6c360 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -59,4 +59,5 @@ jobs:
         if: steps.dune.outcome == 'success'
 
       # Check installing with opam
-      - run: opam install --strict num
+      - run: opam lint .
+      - run: opam install num