From 44618752f900dcd7a4f9128fe28d01f4d372972d Mon Sep 17 00:00:00 2001 From: Ilija Tovilo Date: Wed, 6 Aug 2025 22:28:56 +0200 Subject: [PATCH] [skip ci] Bump retries in benchmark diff when looking for benchmarked commits --- benchmark/generate_diff.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/benchmark/generate_diff.php b/benchmark/generate_diff.php index 94c020df4b9..466a6ae0e1e 100644 --- a/benchmark/generate_diff.php +++ b/benchmark/generate_diff.php @@ -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) {