Skip to content

Commit 4461875

Browse files
committed
[skip ci] Bump retries in benchmark diff when looking for benchmarked commits
1 parent 3aa4209 commit 4461875

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

benchmark/generate_diff.php

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,7 @@ function formatDiff(?int $baseInstructions, int $headInstructions): string {
6262
}
6363

6464
function find_benchmarked_commit_hash(string $repo, string $commitHash): ?string {
65-
$repeat = 10;
65+
$repeat = 100;
6666

6767
while (true) {
6868
if ($repeat-- <= 0) {

0 commit comments

Comments
 (0)