From 1a99fac75d7a523a29f834d18104f43fa6adeac5 Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Wed, 19 Jun 2024 21:10:15 +0200 Subject: [PATCH] test --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 45823a1..b15bdfb 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -38,7 +38,7 @@ jobs: cache-prefix: "z1" allow-prerelease-opam: true - - run: opam install . --with-test --deps-only + - run: opam install -v . --with-test --deps-only - name: configure tree run: opam exec -- sh ./configure