From 75e8e2caea22a6ba3e295ca2d37d37ffa239f316 Mon Sep 17 00:00:00 2001 From: SMTP Relay & Email - Free Send <60409540+msgwing@users.noreply.github.com> Date: Mon, 17 Aug 2026 22:27:04 +0200 Subject: [PATCH] fix(ci): group the blast-radius number so it reads as a quantity The first badge this workflow ever published read "24960 files". The grouping came from printf "%'d", which does not group in the C locale the runner uses, and nobody had seen the output before because the step had never once run to completion. This is the headline number of the entire blast-radius argument. "24 960" reads as a quantity; "24960" reads as an identifier. Grouped with sed instead, which does not care about the locale. --- .github/workflows/blast-radius.yml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.github/workflows/blast-radius.yml b/.github/workflows/blast-radius.yml index a431b1f..2b2c229 100644 --- a/.github/workflows/blast-radius.yml +++ b/.github/workflows/blast-radius.yml @@ -172,7 +172,12 @@ jobs: cp /tmp/blast-radius-samples.json blast-radius-samples.json if [ "$label" != "none" ]; then - formatted=$(printf "%'d" "$value" | tr ',' ' ') + # Grouped with sed rather than printf "%'d": the runner's locale + # is C, where that format simply does not group, which is why the + # first badge ever published read "24960 files". This is the + # headline number of the whole blast-radius argument - it has to + # read as a quantity, not as an identifier. + formatted=$(echo "$value" | sed -E ':a;s/([0-9])([0-9]{3})($|[^0-9])/ /;ta') cat > blast-radius.json <