393 |
$buildtime_avg += $tmp[0] * $count; |
$buildtime_avg += $tmp[0] * $count; |
394 |
$buildtime_cnt += $count; |
$buildtime_cnt += $count; |
395 |
} |
} |
|
$buildtime_avg = round($buildtime_avg / $buildtime_cnt, 1); |
|
396 |
|
|
397 |
$s .= sprintf('<table style="width: 100%%;"><caption>Build time (average: %s)</caption> |
$s .= '<table style="width: 100%;"><caption>Build time</caption> |
398 |
<tr><th title="Build time">Duration</th><th title="Packages number">Pack. nb.</th></tr>', |
<tr><th title="Build time">Duration</th><th title="Packages number">Pack. nb.</th></tr>'; |
399 |
$buildtime_avg); |
|
400 |
|
$s .= sprintf('<tr><td>Total time</td><td>%s</td></tr><tr><td>Average</td><td>%s</td></tr>', |
401 |
|
$buildtime_avg, round($buildtime_avg / $buildtime_cnt, 1)); |
402 |
|
|
403 |
$s .= $bts; |
$s .= $bts; |
404 |
$s .= '</table>'; |
$s .= '</table>'; |
405 |
|
|