diff options
| author | Pascal Terjan <pterjan@mageia.org> | 2012-12-15 22:09:38 +0000 |
|---|---|---|
| committer | Pascal Terjan <pterjan@mageia.org> | 2012-12-15 22:09:38 +0000 |
| commit | 448a17a92d84dd5954b9f5e4048077b7750fb74f (patch) | |
| tree | 3dfc4484f85ed201d10d19c7e99525f438e23abf /autobuild/index.php | |
| parent | 64d8238bd117c1786d93cefe7fe99686cc1ff60e (diff) | |
| download | pkgsubmit-448a17a92d84dd5954b9f5e4048077b7750fb74f.tar pkgsubmit-448a17a92d84dd5954b9f5e4048077b7750fb74f.tar.gz pkgsubmit-448a17a92d84dd5954b9f5e4048077b7750fb74f.tar.bz2 pkgsubmit-448a17a92d84dd5954b9f5e4048077b7750fb74f.tar.xz pkgsubmit-448a17a92d84dd5954b9f5e4048077b7750fb74f.zip | |
List all runs
Diffstat (limited to 'autobuild/index.php')
| -rw-r--r-- | autobuild/index.php | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/autobuild/index.php b/autobuild/index.php index 40fd7a9..283531b 100644 --- a/autobuild/index.php +++ b/autobuild/index.php @@ -12,9 +12,10 @@ while (false !== ($entry = readdir($handle))) { closedir($handle); sort($runs); +$latest = readlink("cauldron/x86_64/core/latest"); $run = $_GET['run']; if (!$run) { - $run = readlink("cauldron/x86_64/core/latest"); + $run = $latest; } foreach ($runs as $r) { @@ -100,6 +101,19 @@ $estimated_percent = round(($nb_success+$nb_fixed)*1000/($nb_tried-$nb_removed)) echo "<title>$succes_percent% Success</title>\n"; echo "</head><body>\n"; +echo "<div style='position:absolute;right:0;top:0;'>"; +foreach ($runs as $r) { + $text = $r . (($r > $latest) ? ' (in progress)' : ''); + + if ($r==$run) { + echo $text; + } else { + echo '<a href="'.$_SERVER["PHP_SELF"].'?run='.$r.'">'.$text.'</a>'; + } + echo ' '; +} + +echo "</div>\n"; echo "<h1>$succes_percent% Success</h1>\n"; echo "$nb_fixed packages have been fixed since this run and $nb_removed have been removed.<br/> If no new package was broken, success rate next time should be $estimated_percent%.<br/>\n"; echo "<div style='float:left'><h1>Failed builds ($nb_failed/$nb_tried):</h1><ul>"; |