From 1e28d2de3cf348b5537e1998ac40da76c41f8e76 Mon Sep 17 00:00:00 2001
From: Hugo Heuzard <hugo.heuzard@lambda-coins.com>
Date: Sun, 16 Jun 2024 10:39:35 +0200
Subject: [PATCH] WIP

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 6f97eb4..006f88e 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -35,8 +35,10 @@ jobs:
           dune-cache: true
           allow-prerelease-opam: true
 
+      - run: opam install . --with-test --deps-only
+
       - name: configure tree
-        run: opam exec -- ./configure
+        run: opam exec -- sh ./configure
 
       - name: Build
         run: opam exec -- make