fix: tolerance of test in ci

leanprover · Dec 18, 2024 · d4d2d1c · d4d2d1c
1 parent c939b17
commit d4d2d1c
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 := 7
+def EPS : Nat := 4
 
 def await (x : Task α) : IO α := pure x.get