diff --git a/tools/dashboard/generate_dashboard.py b/tools/dashboard/generate_dashboard.py index f6a3bd9e33..632a5d3122 100755 --- a/tools/dashboard/generate_dashboard.py +++ b/tools/dashboard/generate_dashboard.py @@ -581,7 +581,6 @@ def html_header(title: str) -> str: def html_linkbox() -> str: output = '