From 17316e1ffaa16d50ab5e359163737ab8f2e467d6 Mon Sep 17 00:00:00 2001
From: Giacomo Vercesi <giacomo.vercesi@rev.ng>
Date: Thu, 11 Dec 2025 17:45:11 +0100
Subject: [PATCH] mass-testing-report: names for binaries

Instead of having all the binaries in the mass-testing-report be
downloaded with the name `input`, have them use a meaningful name
instead.
---
 typescript/mass-testing-report/src/main.ts | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/typescript/mass-testing-report/src/main.ts b/typescript/mass-testing-report/src/main.ts
index b2dee13ae..eec79ada6 100644
--- a/typescript/mass-testing-report/src/main.ts
+++ b/typescript/mass-testing-report/src/main.ts
@@ -470,7 +470,9 @@ function getColumns(meta: Metadata): Columns[] {
                 }
             }
 
-            container.appendChild(button("Bin", `${row.name}/input`));
+            const downloadButton = button("Bin", `${row.name}/input`) as HTMLAnchorElement;
+            downloadButton.download = row.input_name;
+            container.appendChild(downloadButton);
 
             for (const elem of meta.downloads || []) {
                 container.appendChild(button(elem.label, `${row.name}/${elem.name}`));