slachiewicz opened a new pull request, #202: URL: https://github.com/apache/maven-dist-tool/pull/202
The [master jobs page](https://ci-maven.apache.org/job/Maven/job/maven-box/job/maven-dist-tool/job/master/site/dist-tool-master-jobs.html) lists ~100 repositories as nested bullets, in whatever order the async requests happen to complete — so it changes shape between runs and is hard to scan or to diff against the previous one. It is now a single table: **Status | Repository | Last build | Sources**, ordered worst-status-first and then by repository name, with a one-line summary of the counts above it. Stale entries (nothing built in the last month) keep the red styling and gain a tooltip saying why. Three bugs fixed while in there: - **The UNKNOWN icon was wrong.** `ૂ` is *decimal* 2754 = U+0AC2, a Gujarati vowel sign — it renders as `ૂ`. The intended U+2754 White Question Mark Ornament is `❔`. The hex codepoint had been written into a decimal entity. - **Some repositories were silently dropped.** A job whose last build is still running has `"result": null`, and a job that has never run has no `lastBuild` at all. Both were dereferenced unconditionally, so those entries threw and were swallowed by the surrounding `onErrorResume`. - **Removed the per-row inline SVG badge.** It duplicated the status column exactly, showed the *Jenkins* result next to a *GitHub* link — which reads as a GitHub checks badge but is not one — and repeated a 40-line SVG once per repository, so ~100 copies of it were inlined into the page. Also drops `getLastBuild(String, String)`, which nothing called. Compiles clean. I could not render the page to compare before/after: `ci-maven.apache.org` requires authentication, and the report needs live Jenkins data to generate. Happy to keep the badge if it is wanted — it is the one change here that is a matter of taste rather than a fix. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
