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

Merge branch 'PHP-8.3' into PHP-8.4

Browse source 
* PHP-8.3:
  [skip ci] Bump retries in benchmark diff when looking for benchmarked commits
This commit is contained in:
Ilija Tovilo 2025-08-06 22:29:36 +02:00
commit 0c303b2043
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 { function find_benchmarked_commit_hash(string $repo, string $commitHash): ?string {
$repeat = 10; $repeat = 100;
while (true) { while (true) {
if ($repeat-- <= 0) { if ($repeat-- <= 0) {