build: link to HTML coverage reports

Planeshifter · Planeshifter · commit 40db50a55773 · 2023-08-12T15:17:18.000-04:00
diff --git a/.github/workflows/scripts/run_tests_coverage b/.github/workflows/scripts/run_tests_coverage
@@ -204,8 +204,8 @@ main() {
 
 		pkg_cov="| $pkg_statements_cov_fraction <br> $cov_change_statements | $pkg_branches_cov_fraction <br> $cov_change_branches | $pkg_functions_cov_fraction <br> $cov_change_functions | $pkg_lines_cov_fraction <br> $cov_change_lines |"
 
-		pkg_url="https://github.com/${github_repo}/tree/${github_ref}/${package}"
-		pkg_link="<a href="$pkg_url">$pkg</a>"
+		pkg_url="https://coverage.stdlib.io/${pkg}"
+		pkg_link="<a href='"$pkg_url"'>$pkg</a>"
 		coverage="$coverage\n| $pkg_link $pkg_cov"
 
 		# Copy coverage report of the package to artifacts directory:
