From 5ed46a1de869a80e6bcd56d39abb252a332179d7 Mon Sep 17 00:00:00 2001
From: h7x4 <h7x4@nani.wtf>
Date: Thu, 11 Jun 2026 17:55:13 +0900
Subject: [PATCH] nix/coverage-html: use line coverage for badge number

---
 nix/coverage-html.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nix/coverage-html.nix b/nix/coverage-html.nix
index b539172..64162be 100644
--- a/nix/coverage-html.nix
+++ b/nix/coverage-html.nix
@@ -62,7 +62,7 @@ stdenv.mkDerivation {
     TOTAL_COVERAGE="$(
       htmlq 'td > pre' <coverage-html/index.html \
       | sed '0,/^<pre>Totals<\/pre>$/d' \
-      | head -n 1 \
+      | head -n 2 \ # Skip "Totals" and "Function Coverage", get "Line Coverage"
       | sed -e 's/<pre>[[:space:]]*//' -e 's/%.*$/%/' \
     )"