minor change in tests

lean-dojo · Jul 10, 2024 · dda626f · dda626f
1 parent 6ce9e9c
commit dda626f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/interaction/test_timeout.py b/tests/interaction/test_timeout.py
@@ -9,6 +9,6 @@ def test_timeout_1(lean4_example_repo: LeanGitRepo) -> None:
         "Lean4Example.lean",
         "hello_world",
     )
-    with Dojo(thm) as (dojo, init_state):
+    with Dojo(thm, timeout=30) as (dojo, init_state):
         with pytest.raises(DojoTacticTimeoutError):
             dojo.run_tac(init_state, "sleep 99999999999999")