still trying to make the leaderboard

app.py

@@ -28,7 +28,9 @@ def evaluate_boundary(filename):
 
 def make_clickable(name):
     link =f'https://huggingface.co/{name}'
-    return f'<a target="_blank" href="{link}" style="color: var(--link-text-color); text-decoration: underline;text-decoration-style: dotted;">{name}</a>'
+    return [name](link)
+
+    # return f'<a target="_blank" href="{link}" style="color: var(--link-text-color); text-decoration: underline;text-decoration-style: dotted;">{name}</a>'
 
 
 def get_leaderboard():
@@ -55,7 +57,7 @@ def gradio_interface() -> gr.Blocks:
 
                 Leaderboard(
                     value=get_leaderboard(),
-                    datatype=['str', 'date', 'str', 'str', 'bool', 'html', 'number', 'bool', 'number', 'number', 'str'],
+                    datatype=['str', 'date', 'str', 'str', 'bool', 'markdown', 'number', 'bool', 'number', 'number', 'str'],
                     select_columns=["submission time", "feasibility", "score", "problem type", "objective", "user"],
                     search_columns=["submission time", "score", "user"],
                     hide_columns=["result_filename", "submission_filename", "minimize_objective", "boundary_json", "evaluated"],