diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 21 |
1 files changed, 20 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 414e6fc..e207ccf 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -46,8 +46,27 @@ jobs: - name: Run Valgrind tests run: make test/valgrind + coverage: + runs-on: ubuntu-latest + name: Coverage report + steps: + - name: Checkout + uses: actions/checkout@v3 + - name: Install dependencies + run: | + sudo apt-get update + sudo DEBIAN_FRONTEND=noninteractive apt-get install -yq --no-install-recommends gcovr libgit2-dev libsqlite3-dev python3-pytest valgrind + - name: Generate report + run: make coverage + - name: Upload report + uses: actions/upload-artifact@v3 + with: + name: coverage + path: ./build/coverage/ + if-no-files-found: error + publish: - needs: [lint, build] + needs: [lint, build, coverage] runs-on: ubuntu-latest name: 'Docker: publish' steps: |