shorten github timeout

leanprover-community · Oct 17, 2023 · 592de37 · 592de37
1 parent ef6e826
commit 592de37
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Main.lean b/Main.lean
@@ -79,7 +79,7 @@ def main : List String → IO UInt32 := fun args => do
   else
     let env ← mkEmptyEnvironment
     let github := (args.length > 1 && args[1]! == "--github")
-    let maxHeartbeats := if github then 200000 * 1000 else 0
+    let maxHeartbeats := if github then 50 * 1000 * 1000 else 0
     let _ ← Meta.MetaM.toIO
       (ctxCore := {fileName := "none", fileMap := .ofString "", maxRecDepth := 10000, maxHeartbeats := maxHeartbeats}) (sCore := {env})
       (ctx := {}) (s := {}) (run args[0]! github)