Home
last modified time | relevance | path

Searched refs:headCommitHash (Results 1 – 1 of 1) sorted by relevance

/php-src/benchmark/
H A Dgenerate_diff.php5 function main(?string $headCommitHash, ?string $baseCommitHash) { argument
6 if ($headCommitHash === null || $baseCommitHash === null) {
13 …$headSummaryFile = $repo . '/' . substr($headCommitHash, 0, 2) . '/' . $headCommitHash . '/summary…
16 return "Head commit '$headCommitHash' not found\n";
24 $headCommitHashShort = substr($headCommitHash, 0, 7);
63 $headCommitHash = $argv[1] ?? null; variable
65 $output = main($headCommitHash, $baseCommitHash);

Completed in 3 milliseconds