diff options
| author | Jan-Michael Brummer <jan.brummer@tabos.org> | 2023-01-30 17:11:52 +0100 |
|---|---|---|
| committer | Jan-Michael Brummer <jan.brummer@tabos.org> | 2023-03-27 16:31:58 +0200 |
| commit | a27e2115bd58c89b2ec743426744b6b4b161c09d (patch) | |
| tree | 814426f9d04461dcacac53f5712468dc6da22c8e | |
| parent | 62ff0c708344e33863ed1cd48ad1e5fe88c86d14 (diff) | |
| download | libproxy-git-a27e2115bd58c89b2ec743426744b6b4b161c09d.tar.gz | |
Use gcovr for coverage (#29)
| -rw-r--r-- | .github/workflows/build.yml | 21 | ||||
| -rw-r--r-- | README.md | 4 |
2 files changed, 24 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index f3a1bb9..a1d2428 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -28,6 +28,27 @@ jobs: run: | ninja test -C build ninja coverage -C build + - name: Extract Coverage Percentage + run: | + RATE=$(grep -o -m 1 -P '(?<=line-rate=").*?(?=")' ./build/meson-logs/coverage.xml | head -1) + PERCENT="$(echo "($RATE * 100)/1" | bc)" + + BADGE_COLOR=red + if [ $PERCENT -ge 60 ]; then BADGE_COLOR=orange; fi + if [ $PERCENT -ge 80 ]; then BADGE_COLOR=yellow; fi + if [ $PERCENT -ge 95 ]; then BADGE_COLOR=brightgreen; fi + echo "$RATE -> $PERCENT : $BADGE_COLOR" + echo "COVERAGE_PERCENT=$PERCENT" >> $GITHUB_ENV + echo "COVERAGE_COLOR=$BADGE_COLOR" >> $GITHUB_ENV + - name: Create Coverage Badge + uses: schneegans/dynamic-badges-action@v1.1.0 + with: + auth: ${{ secrets.GIST_TOKEN }} + gistID: 713fa369e20d1c0fdb5896b9a167c3b4 + filename: greeter-coverage.json + label: Coverage + message: ${{ env.COVERAGE_PERCENT }} + color: ${{ env.COVERAGE_COLOR }} - name: Upload artifact uses: actions/upload-pages-artifact@v1 with: @@ -1,4 +1,6 @@ - [](https://codecov.io/github/janbrummer/libproxy2) + +[](https://codecov.io/github/janbrummer/libproxy2) +[](https://github.com/janbrummer/repo/actions/workflows/build.yaml) [](https://github.com/janbrummer/libproxy2/actions/workflows/coverity.yml) # Libproxy |