From 6da35eeccb726b67d9b32ab7bbd67ac00ed93589 Mon Sep 17 00:00:00 2001
From: Paul Reichert <6992158+datokrat@users.noreply.github.com>
Date: Mon, 24 Nov 2025 13:21:27 +0100
Subject: [PATCH] refactor: increase runtime of "sigma iterator" benchmark
 (#11336)

This PR makes the "sigma iterator" benchmark more compute-intensive
because it was too fast and therefore flaky.
---
 tests/bench/sigmaIterator.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/bench/sigmaIterator.lean b/tests/bench/sigmaIterator.lean
index 3c7a868d6d..659acfd692 100644
--- a/tests/bench/sigmaIterator.lean
+++ b/tests/bench/sigmaIterator.lean
@@ -180,7 +180,7 @@ def f._at_.g.spec_0._redArg _x.1 _x.2 _x.3 it : Nat :=
 ```
 -/
 def g : Nat := Id.run do
-  (*...2000000).iter.filter (fun _ => True)
+  (*...30000000).iter.filter (fun _ => True)
     |>.sigma (α := fun _ => _) (param := 0)
     |> f (acc := 0)