Update app.py

app.py

@@ -147,7 +147,7 @@ with gr.Blocks(css=LEADERBOARD_CSS) as demo:
                     elem_id="backend-filter",
                     multiselect=True  # Enable multiple selection
                 )   
-                device_choices = sorted(whisper_df["Device"].unique().tolist()) if "Device" in whisper_df.columns else ["All"]
+                device_choices = sorted(whisper_df["Device"].unique().tolist())
                 device_filter = gr.Dropdown(
                     choices=device_choices,
                     value="All",