diff options
-rw-r--r-- | autobuild/results.php | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/autobuild/results.php b/autobuild/results.php index 081c66e..654162a 100644 --- a/autobuild/results.php +++ b/autobuild/results.php @@ -235,7 +235,11 @@ if ($_GET['include_success'] === 'true') { } echo "</div>\n"; echo "<h2>Changes since this run</h2>\n"; -echo "$nb_fixed packages have been fixed since this run, $nb_removed have been removed and $nb_still_broken have not changed.<br/> If no new package was broken, success rate next time should be $estimated_percent%.<br/>\n"; +echo "<table>\n"; +echo "<tr><td>Fixed</td><td>$nb_fixed</td></tr>\n"; +echo "<tr><td>Removed</td><td>$nb_removed</td></tr>\n"; +echo "<tr><td>Unchanged</td><td>$nb_still_broken</td></tr>\n"; +echo "</table>\n"; echo "<h2>Failed builds ($nb_failed/$nb_tried)</h2>\n"; echo "<table class=\"failureTable\" >\n"; echo "<tr><th></th><th>Status</th><th>Failure type</th><th>Build step</th><th></th><th>Languages</th><th>Detected errors</th></tr>\n"; |