Update src/leaderboard/read_evals.py

src/leaderboard/read_evals.py

@@ -380,8 +380,9 @@ def get_raw_eval_results(results_path: str, requests_path: str) -> list[EvalResu
     
 
     # Add download button
+    import gradio as gr
     download_button = gr.Button("Download", link="/file=material/test.txt")
-    
+
     # Add the button to your existing interface
     # This depends on how your interface is structured, but here's an example
     with gr.Blocks() as demo: