From 8aa50b25231bbb61d5863a7b145fadd29823c8e7 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 17 Feb 2022 10:34:08 -0500
Subject: [PATCH] dune 2 shenanigans

---
 .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 700f1de6..26d42707 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -43,7 +43,7 @@ jobs:
           opam install containers-data containers-thread --deps-only  # no test deps
         if: matrix.os != 'ubuntu-latest'
 
-      - run: opam exec -- dune build
+      - run: opam exec -- dune build @install
 
       - run: opam exec -- dune runtest
         if: ${{ matrix.os == 'ubuntu-latest' }}