import pathlib from pathlib import Path import tempfile from typing import BinaryIO, Literal import json import pandas as pd import gradio as gr from huggingface_hub import upload_file, hf_hub_download from datetime import datetime import os from about import PROBLEM_TYPES, TOKEN, CACHE_PATH, API, submissions_repo, results_repo def make_user_clickable(name): link =f'https://huggingface.co/{name}' return f'{name}' def make_boundary_clickable(filename): link =f'https://huggingface.co/datasets/{results_repo}/blob/main/{filename}' return f'link' def read_result_from_hub(filename): local_path = hf_hub_download( repo_id=results_repo, repo_type="dataset", filename=filename, ) return local_path def get_user(profile: gr.OAuthProfile | None) -> str: if profile is None: return "Please login to make a submission to the leaderboard." return profile.username