nix/coverage-html: use line coverage for badge number

2026-06-11 17:55:13 +09:00
parent 28ddaff0b7
commit 5ed46a1de8
1 changed files with 1 additions and 1 deletions
@@ -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/%.*$/%/' \
    )"