From e0acd0f9cc73f134b5e4e5ec4e9b1bc6cc0dba3c Mon Sep 17 00:00:00 2001 From: Daniel Hofstetter Date: Sat, 22 Mar 2025 16:57:35 +0100 Subject: [PATCH] docs: fix url of file with coverage results --- docs/src/test_coverage.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/src/test_coverage.js b/docs/src/test_coverage.js index e601229affc..318c9934d53 100644 --- a/docs/src/test_coverage.js +++ b/docs/src/test_coverage.js @@ -19,7 +19,7 @@ function progressBar(totals) { var(--SKIP) ${skipPercentage}%` ) + (skipPercentage === 100 ? ")" : ", var(--FAIL) 0)"); - + const progress = document.createElement("div"); progress.className = "progress" progress.innerHTML = ` @@ -74,7 +74,7 @@ function parse_result(parent, obj) { return totals; } -fetch("https://raw.githubusercontent.com/uutils/coreutils-tracking/main/gnu-full-result.json") +fetch("https://raw.githubusercontent.com/uutils/coreutils-tracking/main/aggregated-result.json") .then((r) => r.json()) .then((obj) => { let parent = document.getElementById("test-cov");