archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-15 13:38:49 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

[skip ci] Bump retries in benchmark diff when looking for benchmarked commits

Browse source
This commit is contained in:
Ilija Tovilo 2025-08-06 22:28:56 +02:00
parent 3aa4209ef6
commit 44618752f9
No known key found for this signature in database
GPG key ID: 115CEA7A713E12E9
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
benchmark/generate_diff.php
View file

@ -62,7 +62,7 @@ function formatDiff(?int $baseInstructions, int $headInstructions): string {
}
function find_benchmarked_commit_hash(string $repo, string $commitHash): ?string {
$repeat = 10;
$repeat = 100;
while (true) {
if ($repeat-- <= 0) {