From b4a9b89f4ab79e4266c6acc189430338a0f8a7a3 Mon Sep 17 00:00:00 2001 From: Daniel Hofstetter Date: Sat, 22 Mar 2025 17:11:26 +0100 Subject: [PATCH] docs: fix url of file with coverage results (#7528) --- 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 e601229af..318c9934d 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");