From 051268de51721d2d2fcb12a984547396a064aecf Mon Sep 17 00:00:00 2001
From: rdb <git@rdb.name>
Date: Sat, 24 Jan 2026 22:54:38 +0100
Subject: [PATCH] workflow: Fix very minor formatting issue in coverage summary

[skip ci]
---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2902ae3ad0..962e946b8d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -391,7 +391,7 @@ jobs:
 
         TOTAL=$(python -m coverage report --format=total)
         echo '### Coverage Report' >> $GITHUB_STEP_SUMMARY
-        echo "<details><summary>Coverage: **${TOTAL}%**</summary>" >> $GITHUB_STEP_SUMMARY
+        echo "<details><summary>Coverage: <b>${TOTAL}%</b></summary>" >> $GITHUB_STEP_SUMMARY
         echo '' >> $GITHUB_STEP_SUMMARY
         python -m coverage report --format=markdown >> $GITHUB_STEP_SUMMARY
         echo '</details>' >> $GITHUB_STEP_SUMMARY