From abafe4d5bb93f148d583f08656d7d657656ba8f7 Mon Sep 17 00:00:00 2001 From: Adrian Bunk Date: Sun, 15 Jun 2025 13:49:54 +0300 Subject: Increase a test timeout --- tests-stdlib/test_API_env.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests-stdlib/test_API_env.v b/tests-stdlib/test_API_env.v index 2d4a65be..21184901 100644 --- a/tests-stdlib/test_API_env.v +++ b/tests-stdlib/test_API_env.v @@ -340,7 +340,7 @@ Elpi Query lp:{{ coq.locate "Ranalysis5.derivable_pt_lim_CVU" GR, std.time (coq.env.transitive-dependencies GR _ S) T, std.assert! ({coq.gref.set.cardinal S} > 3000) "too few", - std.assert! (T < 10.0) "too slow" % 0.5 here + std.assert! (T < 20.0) "too slow" % 0.5 here }}. -- 2.30.2