From e02e19cd4e7818ababc027458c1c1a17fb3ee5b5 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 18 Oct 2022 16:12:04 -0400
Subject: [PATCH] chore: CI

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

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index a15262d..7f79af0 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -29,6 +29,6 @@ jobs:
     - run: opam pin -n .
     - run: opam depext -yt iter
     - run: opam install -t . --deps-only
-    - run: opam exec -- dune build
+    - run: opam exec -- dune build @install
     - run: opam exec -- dune runtest
       if: ${{ matrix.os == 'ubuntu-latest'}}