blob: f5fd526ddbe04bee0bd5c815003228f13cf88bca (
plain)
1
2
3
4
5
|
<?php
$log_file = file_get_contents(getenv("LOG_FILE"));
$BENCHMARK_RESULTS = substr($log_file, strrpos($log_file, "Results: ") + 9);
echo trim(substr($BENCHMARK_RESULTS, 0, strpos($BENCHMARK_RESULTS, "iter") - 1));
?>
|