From 101ec7dbd92f240484f975ae54a49773dda2c064 Mon Sep 17 00:00:00 2001 From: Matthias Krack Date: Mon, 29 Nov 2021 15:55:55 +0100 Subject: [PATCH] Add link to sidebox --- tools/dashboard/generate_dashboard.py | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/dashboard/generate_dashboard.py b/tools/dashboard/generate_dashboard.py index 0844a09a65..be06dc6981 100755 --- a/tools/dashboard/generate_dashboard.py +++ b/tools/dashboard/generate_dashboard.py @@ -586,6 +586,7 @@ def html_linkbox() -> str: output += 'Regtest Survey
\n' output += 'Test Coverage
\n' output += 'Discontinued Tests
\n' + output += 'Supported compilers
\n' output += "\n" return output