diff --git a/tests/lean/libuv_timer.lean b/tests/lean/libuv_timer.lean
index d6402febc2f8..60ea521e8c41 100644
--- 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