fix: try to increase heartbeat limit further

2023-11-18 23:43:02 +01:00 · 2023-11-18 23:43:02 +01:00 · d70b47c9af
parent 8c9e5cf135
commit d70b47c9af
1 changed files with 1 additions and 1 deletions
--- a/DocGen4/Process/Analyze.lean
+++ b/DocGen4/Process/Analyze.lean
@ -123,7 +123,7 @@ def process (task : AnalyzeTask) : MetaM (AnalyzerResult × Hierarchy) := do

    try
      let config := {
-        maxHeartbeats := 5000000,
+        maxHeartbeats := 50000000,
        options := ← getOptions,
        fileName := ← getFileName,
        fileMap := ← getFileMap