Fix url rendering for the leaderboard

app.py

@@ -16,6 +16,7 @@ from src.content import (
     SUBMISSION_TITLE,
 )
 from src.get_results_for_task import get_results_for_task
+from src.leaderboard_formatting import get_types_per_task
 from src.submission_uploader import SubmissionUploader
 from src.tasks_content import (
     TASKS_DESCRIPTIONS,
@@ -49,7 +50,11 @@ with gr.Blocks() as demo:
                 with gr.Row():
                     gr.Markdown(TASKS_DESCRIPTIONS[TASKS_PRETTY_REVERSE[task_pretty]])
 
-                leaderboard_table = gr.components.Dataframe(value=get_results_for_task(task_pretty), interactive=False)
+                leaderboard_table = gr.components.Dataframe(
+                    value=get_results_for_task(task_pretty),
+                    interactive=False,
+                    datatype=get_types_per_task(TASKS_PRETTY_REVERSE[task_pretty]),
+                )
 
     # submission
     gr.HTML(SUBMISSION_TITLE)

src/get_results_for_task.py

@@ -18,6 +18,7 @@ try:
 except FileNotFoundError:
     AVAILABLE_TASKS = []
 
+
 def _get_results_stub() -> pd.DataFrame:
     stub_df = pd.DataFrame(
         [

src/leaderboard_formatting.py

@@ -36,3 +36,8 @@ def get_columns_per_task(task_id: str) -> List[str]:
     metrics_per_task = METRICS_PER_TASK[task_id]
 
     return ["Model Name", "Availability", "Context Size"] + metrics_per_task + ["Submitted By"]
+
+
+def get_types_per_task(task_id: str) -> List[str]:
+    metrics_per_task = METRICS_PER_TASK.get(task_id, (0, 0, 0, 0, 0))
+    return ["html", "markdown", "markdown"] + ["number" for _ in metrics_per_task] + ["markdown"]