Skip to content

Commit

Permalink
[#258] Cleanup CI and Badge Colors
Browse files Browse the repository at this point in the history
  • Loading branch information
rjbrown2 authored Dec 19, 2024
1 parent d0aeb34 commit 237480f
Showing 1 changed file with 65 additions and 1 deletion.
66 changes: 65 additions & 1 deletion .github/workflows/mc_dc_coverage.yml
Original file line number Diff line number Diff line change
Expand Up @@ -37,4 +37,68 @@ jobs:
tar -xjf /tmp/libgpg-error-1.50.tar.bz2 -C /tmp/
cd /tmp/libgpg-error-1.50 && ./configure && make install
curl -LS https://www.gnupg.org/ftp/gcrypt/libgcrypt/libgcrypt-1.11.0.tar.bz2 -o /tmp/libgcrypt-1.11.0.tar.bz2
tar -xjf /tmp/libgcrypt-1.
tar -xjf /tmp/libgcrypt-1.11.0.tar.bz2 -C /tmp/
cd /tmp/libgcrypt-1.11.0 && ./configure && make install
ldconfig
- name: Fix Detached HEAD State
run: git checkout -B ${GITHUB_REF##*/}

- name: Build with Coverage Flags
run: |
export CFLAGS="-fprofile-arcs -ftest-coverage -g"
bash ${GITHUB_WORKSPACE}/support/scripts/build_internal.sh
- name: Generate Coverage Report and Badges
run: |
mkdir -p doc/coverage
gcovr --branches --xml-pretty --exclude-unreachable-branches -o doc/coverage/coverage_report.xml
gcovr --branches --html --html-details -o doc/coverage/coverage_report.html
# Extract overall coverage metrics from the root <coverage> tag
LINE_COVERAGE=$(grep -oP '(?<=<coverage line-rate=")[0-9.]+(?=")' doc/coverage/coverage_report.xml | head -n 1)
BRANCH_COVERAGE=$(grep -oP '(?<=branch-rate=")[0-9.]+(?=")' doc/coverage/coverage_report.xml | head -n 1)
# Convert to percentages
LINE_COVERAGE_PERCENT=$(printf "%.0f" $(echo "$LINE_COVERAGE * 100" | bc))
BRANCH_COVERAGE_PERCENT=$(printf "%.0f" $(echo "$BRANCH_COVERAGE * 100" | bc))
# Debug extracted values
echo "Line Coverage: $LINE_COVERAGE_PERCENT%"
echo "Branch Coverage: $BRANCH_COVERAGE_PERCENT%"
# Determine colors based on coverage percentages
if [ "$LINE_COVERAGE_PERCENT" -ge 80 ]; then
LINE_COLOR="brightgreen"
elif [ "$LINE_COVERAGE_PERCENT" -ge 50 ]; then
LINE_COLOR="yellow"
else
LINE_COLOR="red"
fi
if [ "$BRANCH_COVERAGE_PERCENT" -ge 80 ]; then
BRANCH_COLOR="brightgreen"
elif [ "$BRANCH_COVERAGE_PERCENT" -ge 50 ]; then
BRANCH_COLOR="yellow"
else
BRANCH_COLOR="red"
fi
# Generate badges with dynamic colors
curl -o doc/coverage/line-coverage-badge.svg "https://img.shields.io/badge/line%20coverage-${LINE_COVERAGE_PERCENT}%25-${LINE_COLOR}"
curl -o doc/coverage/branch-coverage-badge.svg "https://img.shields.io/badge/branch%20coverage-${BRANCH_COVERAGE_PERCENT}%25-${BRANCH_COLOR}"
- name: Commit Coverage Badges
run: |
git config user.name "github-actions"
git config user.email "[email protected]"
git add doc/coverage/line-coverage-badge.svg
git add doc/coverage/branch-coverage-badge.svg
git commit -m "Update coverage badges" || echo "No changes to commit"
git push origin HEAD
- name: Upload Coverage Report
uses: actions/upload-artifact@v3
with:
name: coverage-report
path: doc/coverage

0 comments on commit 237480f

Please sign in to comment.