drop extra column

app.py

@@ -50,6 +50,7 @@ def get_leaderboard_for_completion_task(dataset_name: str | None):
     if dataset_name is None:
         dataset_name = code_completion_dataset_names[0]
     filtered_df = df[df['Dataset Name']==dataset_name]
+    filtered_df.drop(columns=['Dataset'], inplace=True)
     return gr.components.Dataframe(
         value=filtered_df,
         interactive=False,