fix: improve tolerance of test

leanprover · Dec 18, 2024 · c939b17 · c939b17
1 parent fd17127
commit c939b17
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/lean/libuv_timer.lean b/tests/lean/libuv_timer.lean
@@ -16,7 +16,7 @@ def assertDuration (should : Nat) (eps : Nat) (x : IO α) : IO α := do
   return res
 
 -- generous tolerance for slow CI systems
-def EPS : Nat := 4
+def EPS : Nat := 7
 
 def await (x : Task α) : IO α := pure x.get