From 3d3abc6804f6646a88c0bf1d0dfcd6fe047d8284 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ole=20Sch=C3=BCtt?= Date: Sat, 16 May 2026 21:41:12 +0200 Subject: [PATCH] Dashboard: Remove defunct regtest survey (#5220) --- tools/dashboard/generate_dashboard.py | 1 - tools/dashboard/generate_regtest_survey.py | 313 --------------------- tools/docker/scripts/test_misc.sh | 1 - 3 files changed, 315 deletions(-) delete mode 100755 tools/dashboard/generate_regtest_survey.py 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 = '