diff options
| author | Jan-Michael Brummer <jan.brummer@tabos.org> | 2023-03-04 17:34:14 +0100 |
|---|---|---|
| committer | Jan-Michael Brummer <jan.brummer@tabos.org> | 2023-03-27 16:31:58 +0200 |
| commit | d557d3bf1fc8211a0096de267351adf57a4a1d47 (patch) | |
| tree | aa4ee2e159c442f33b0c7e5b416718312db1ec77 /.github | |
| parent | ab0b3357580ae01a0ec313f45ff174502a777856 (diff) | |
| download | libproxy-git-d557d3bf1fc8211a0096de267351adf57a4a1d47.tar.gz | |
Remove gcovr badge (#61)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 9943727..6ab87c2 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -30,27 +30,6 @@ 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: |