Up the test timeouts

Reviewed By: CatherineGasnier Differential Revision: D65369924 fbshipit-source-id: 042f288d9c73d4672501cfa3e91149e37eac79b0
facebook · Nov 4, 2024 · 23b0966 · 23b0966
1 parent 7e77fe6
commit 23b0966
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/hphp/hack/test/milner/verify_well_typed.py b/hphp/hack/test/milner/verify_well_typed.py
@@ -53,7 +53,7 @@ def milner_and_type_check(
         result = subprocess.run(
             [milner_exe, os.path.abspath(template_file), "--seed", str(seed)],
             stdout=out,
-            timeout=60,
+            timeout=120,
         )
 
     if result.returncode != 0:
@@ -71,7 +71,7 @@ def milner_and_type_check(
         result = subprocess.run(
             [hhstc_exe, temp_file],
             capture_output=True,
-            timeout=60,
+            timeout=120,
         )
 
         # Check if the verifier found any errors