From f8cb9959cd53372c160f66ee671be2f073560c88 Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Fri, 27 Jan 2017 15:35:37 -0500 Subject: [PATCH] add timeout to try to satisfy pkg-build --- turnstile/info.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/turnstile/info.rkt b/turnstile/info.rkt index 15770ad..d25c956 100644 --- a/turnstile/info.rkt +++ b/turnstile/info.rkt @@ -19,4 +19,5 @@ "examples/tests/mlish/bg/README.md")) (define test-timeouts - '(("examples/tests/mlish/generic.mlish" 200))) + '(("examples/tests/mlish/generic.mlish" 200) + ("examples/tests/tlb-infer-tests.rkt" 1800)))