Add English HTML-only to check_times

python · Oct 11, 2024 · 2406204 · 2406204
1 parent 5ac8ae9
commit 2406204
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/check_times.py b/check_times.py
@@ -78,6 +78,11 @@ def calc_time(lines: list[str]) -> None:
 
 
 if __name__ == "__main__":
+    print("Build times (HTML only; English)")
+    print("=======================")
+    print()
+    calc_time(get_lines("docsbuild-only-html-en.log"))
+
     print("Build times (HTML only)")
     print("=======================")
     print()