still trying to make the leaderboard

app.py

@@ -116,7 +116,7 @@ def write_results(record, result):
 def get_user(profile: gr.OAuthProfile | None) -> str:
     if profile is None:
         return "Please login to submit a boundary for evaluation."
-    return profile.name
+    return profile.username
 
 def get_leaderboard(problem_type: str):
     ds = load_dataset(results_repo, split='train')
@@ -143,10 +143,10 @@ def gradio_interface() -> gr.Blocks:
                     # filter_columns=["T", "Precision", "Model Size"],
                 )
 
-                def update_leaderboard(problem_type):
-                    return get_leaderboard(problem_type)
+                # def update_leaderboard(problem_type):
+                #     return get_leaderboard(problem_type)
                 
-                leaderboard_type.change(fn=update_leaderboard, inputs=leaderboard_type, outputs=leaderboard_df)
+                # leaderboard_type.change(fn=update_leaderboard, inputs=leaderboard_type, outputs=leaderboard_df)
 
             with gr.TabItem("Submit", elem_id="boundary-benchmark-tab-table"):
                 gr.Markdown(
@@ -169,17 +169,18 @@ def gradio_interface() -> gr.Blocks:
                     boundary_file = gr.File(label="Boundary JSON File (.json)")
 
                 boundary_file
-                output = gr.Textbox(label="Evaluation Result", lines=10)
+                output = gr.Textbox(label="Evaluation Result", lines=10, visible=False)
                 submit_btn = gr.Button("Evaluate")
                 submit_btn.click(
                     submit_boundary,
                     inputs=[problem_type, boundary_file, user_state],
                     outputs=output,
-                ).then(
+                )
+                '''.then(
                     fn=update_leaderboard,
                     inputs=[problem_type],
                     outputs=[leaderboard_df]
-                )
+                )'''
  
     return demo