From 2406204b5e24743309a2257de4e66ffda9056975 Mon Sep 17 00:00:00 2001
From: Adam Turner <9087854+aa-turner@users.noreply.github.com>
Date: Fri, 11 Oct 2024 03:43:46 +0100
Subject: [PATCH] Add English HTML-only to check_times

---
 check_times.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/check_times.py b/check_times.py
index e561b09..9310cd4 100644
--- 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()