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