fix: wait for stabilization of lae exe graph output

Author: javierlcontreras

scripts/import_graph.py

@@ -1,5 +1,6 @@
 import os
 import re
+import time
 
 def main():
   folder_path = "./website/_includes"
@@ -11,8 +12,12 @@ def main():
 
   print("Running ", f"lake exe graph {dot_path} --exclude-meta")
   os.system(f"lake exe graph {dot_path} --exclude-meta")
-  print("Running .dot edditing")
 
+  print("Stabilizing wait")
+
+  time.sleep(10)
+
+  print("Running .dot edditing")
   dot = ""
   with open(dot_path, "r") as r:
     dot = r.read()

scripts/upstreaming_dashboard.py

@@ -42,7 +42,6 @@ def main():
             "num_sorries" : code.count("sorry"),
             "depends" : "import LeanCamCombi" in code
         }
-    print(project_files)
 
     folder_path = "./website/_includes"
     if not os.path.exists(folder_path):
@@ -59,7 +58,6 @@ def main():
                 if pr["title"][:4] == "perf": continue
                 if pr["is_draft"]: continue
 
-                print(pr)
                 text += f"  * "
                 text += f" ["
                 text += '<svg class="octicon octicon-git-pull-request open color-fg-open mr-1" title="Open" viewBox="0 0 16 16" version="1.1" width="16" height="16" aria-hidden="true"><path d="M1.5 3.25a2.25 2.25 0 1 1 3 2.122v5.256a2.251 2.251 0 1 1-1.5 0V5.372A2.25 2.25 0 0 1 1.5 3.25Zm5.677-.177L9.573.677A.25.25 0 0 1 10 .854V2.5h1A2.5 2.5 0 0 1 13.5 5v5.628a2.251 2.251 0 1 1-1.5 0V5a1 1 0 0 0-1-1h-1v1.646a.25.25 0 0 1-.427.177L7.177 3.427a.25.25 0 0 1 0-.354ZM3.75 2.5a.75.75 0 1 0 0 1.5.75.75 0 0 0 0-1.5Zm0 9.5a.75.75 0 1 0 0 1.5.75.75 0 0 0 0-1.5Zm8.25.75a.75.75 0 1 0 1.5 0 .75.75 0 0 0-1.5 0Z"></path></svg>'