diff options
| author | Erich Eckner <git@eckner.net> | 2019-07-16 10:30:15 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-07-16 10:30:15 +0200 |
| commit | 9ebfa7f54fa4777b69792424651d744d0af8fad2 (patch) | |
| tree | 27893ec20bd5f2663a51798cff922a51fcb3698c | |
| parent | 65eef09eecaa37474424bb9b4ea2b76031c18bbd (diff) | |
| download | archweb32-9ebfa7f54fa4777b69792424651d744d0af8fad2.tar.xz | |
buildmaster/index.php: graph of execution times new
| -rw-r--r-- | buildmaster/index.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/buildmaster/index.php b/buildmaster/index.php index ece8167..41985ba 100644 --- a/buildmaster/index.php +++ b/buildmaster/index.php @@ -64,6 +64,7 @@ if ($sarch_param != "") { and <a href="deletion-links.php">links between them</a><br> <a href="https://buildmaster.archlinux32.org/munin/buildmaster/buildmaster/index.html">build master monitoring</a><br> <img src="statistics.php?log<?php print $march_param; ?>"><br> + <img src="execution-times.php"><br> <?php foreach (array("any", "i486", "i686", "pentium4", "") as $a) { |