diff options
| author | jvoisin | 2023-08-20 23:37:08 +0200 |
|---|---|---|
| committer | jvoisin | 2023-08-20 23:39:59 +0200 |
| commit | a9abb9fa5b9124174e9a7ddeec95c8323f4b16af (patch) | |
| tree | eb50de61813f7911447c7757a81f4ee40d5800b5 /.github/workflows/coverage.yaml | |
| parent | 0f19089c58fb940791659e1c4b4e98795240df4e (diff) | |
Split build and run
Both in the CI, and in the Makefile
Diffstat (limited to '.github/workflows/coverage.yaml')
| -rw-r--r-- | .github/workflows/coverage.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
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: | |||
| 39 | - name: Installing lcov | 39 | - name: Installing lcov |
| 40 | run: sudo apt install lcov | 40 | run: sudo apt install lcov |
| 41 | - name: Running the testsuite | 41 | - name: Running the testsuite |
| 42 | run: make -C tests clean coverage | 42 | run: make -C tests clean coverage run |
| 43 | - name: Setup Pages | 43 | - name: Setup Pages |
| 44 | uses: actions/configure-pages@v3 | 44 | uses: actions/configure-pages@v3 |
| 45 | - name: Upload artifact | 45 | - name: Upload artifact |