From 4f5a374c858a544e674a33c5c5e0ba09984d3b21 Mon Sep 17 00:00:00 2001
From: rdb <git@rdb.name>
Date: Sat, 24 Jan 2026 21:44:51 +0100
Subject: [PATCH] workflow: Show coverage result in GitHub step summary

---
 .github/workflows/ci.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 96abe0df3b..2902ae3ad0 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -389,6 +389,13 @@ jobs:
         python -m pip install coverage
         python -m coverage combine $(find . -name '.coverage.*')
 
+        TOTAL=$(python -m coverage report --format=total)
+        echo '### Coverage Report' >> $GITHUB_STEP_SUMMARY
+        echo "<details><summary>Coverage: **${TOTAL}%**</summary>" >> $GITHUB_STEP_SUMMARY
+        echo '' >> $GITHUB_STEP_SUMMARY
+        python -m coverage report --format=markdown >> $GITHUB_STEP_SUMMARY
+        echo '</details>' >> $GITHUB_STEP_SUMMARY
+
         llvm-profdata merge pid-*.profraw -o coverage.profdata
         llvm-cov show $(grep -Rl LLVM_PROFILE_FILE . | sed 's/^/-object /') -instr-profile=coverage.profdata > coverage.txt
         bash <(curl -s https://codecov.io/bash) -y ../.github/codecov.yml