From a9abb9fa5b9124174e9a7ddeec95c8323f4b16af Mon Sep 17 00:00:00 2001
From: jvoisin
Date: Sun, 20 Aug 2023 23:37:08 +0200
Subject: Split build and run

Both in the CI, and in the Makefile
---
 .github/workflows/coverage.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.github/workflows/coverage.yaml')

diff --git a/.github/workflows/coverage.yaml b/.github/workflows/coverage.yaml
index eaf5a87..28a2cd6 100644
--- a/.github/workflows/coverage.yaml
+++ b/.github/workflows/coverage.yaml
@@ -39,7 +39,7 @@ jobs:
       - name: Installing lcov
         run: sudo apt install lcov
       - name: Running the testsuite
-        run: make -C tests clean coverage
+        run: make -C tests clean coverage run
       - name: Setup Pages
         uses: actions/configure-pages@v3
       - name: Upload artifact
-- 
cgit v1.3