From a8509ee09a38f23e18973918d3ae75edb36cf35d Mon Sep 17 00:00:00 2001 From: yassinezerguine08 Date: Wed, 28 Oct 2026 08:23:12 +0100 Subject: [PATCH] Drop the web module from the coverage badge script --- .github/publish-coverage-badge.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/publish-coverage-badge.sh b/.github/publish-coverage-badge.sh index 7926055f..9facbb38 100755 --- a/.github/publish-coverage-badge.sh +++ b/.github/publish-coverage-badge.sh @@ -3,7 +3,7 @@ # shields.io reads, on the badges branch so that no outside service or secret is needed. set -eu -reports="core/target/site/jacoco/jacoco.csv web/target/site/jacoco/jacoco.csv ui/target/site/jacoco/jacoco.csv" +reports="core/target/site/jacoco/jacoco.csv ui/target/site/jacoco/jacoco.csv" # Columns four and five of a JaCoCo csv are the instructions missed and covered; the first line is the header. percent=$(awk -F, 'FNR > 1 { missed += $4; covered += $5 } END { printf "%d", 100 * covered / (missed + covered) }' $reports)