chore: more tolerance?

leanprover · Jan 2, 2025 · 80c1a51 · 80c1a51
1 parent fa06a1d
commit 80c1a51
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tests/lean/run/async_sleep.lean b/tests/lean/run/async_sleep.lean
@@ -14,10 +14,10 @@ def assertDuration (should : Nat) (eps : Nat) (x : IO α) : IO α := do
   return res
 
 
-def BASE_DURATION : Nat := 50
+def BASE_DURATION : Nat := 100
 
 -- generous tolerance for slow CI systems
-def EPS : Nat := 10
+def EPS : Nat := 20
 
 def await (x : Task α) : IO α := pure x.get