From 6761c1d0ef82dba67c448ad25e5f20d7be2e6a0f Mon Sep 17 00:00:00 2001
From: Kakadu <Kakadu@pm.me>
Date: Thu, 5 Sep 2024 19:12:02 +0300
Subject: [PATCH] CI: run install [skip ci]

Signed-off-by: Kakadu <Kakadu@pm.me>
---
 .github/workflows/blank.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml
index 9b9e77b00..ba8b3ef28 100644
--- a/.github/workflows/blank.yml
+++ b/.github/workflows/blank.yml
@@ -37,5 +37,5 @@ jobs:
       - run: opam depext Lama.dev --yes --with-test
       - run: opam install . --deps-only --with-test
       - run: eval $(opam env)
-      - run: opam exec -- make
+      - run: opam exec -- make install
       - run: opam exec -- make regression