leaderboard page reload on select to pull the latest dataset (#66)

- use tab.select to updaate leaderboard (82ccd8b6e0bb2ebbab5ed78fe09445bb75ffaf7d)
- clear print log (8ef4c5a1b567360f7d73a5b4fb712496b327b971)


Co-authored-by: zcy <ZeroCommand@users.noreply.huggingface.co>

app.py

@@ -11,11 +11,13 @@ try:
     with gr.Blocks(theme=gr.themes.Soft(primary_hue="green")) as demo:
         with gr.Tab("Text Classification"):
             get_demo_text_classification()
-        with gr.Tab("Leaderboard"):
+        with gr.Tab("Leaderboard") as leaderboard_tab:
             get_demo_leaderboard()
         with gr.Tab("Logs(Debug)"):
             get_demo_debug()
 
+        leaderboard_tab.select(fn=get_demo_leaderboard)
+    
     start_process_run_job()
 
     demo.queue(max_size=1000)

app_leaderboard.py

@@ -7,25 +7,26 @@ from fetch_utils import (check_dataset_and_get_config,
                          check_dataset_and_get_split)
 
 import leaderboard
+logger = logging.getLogger(__name__)
 
 def get_records_from_dataset_repo(dataset_id):
     dataset_config = check_dataset_and_get_config(dataset_id)
 
-    logging.info(f"Dataset {dataset_id} has configs {dataset_config}")
+    logger.info(f"Dataset {dataset_id} has configs {dataset_config}")
     dataset_split = check_dataset_and_get_split(dataset_id, dataset_config[0])
-    logging.info(f"Dataset {dataset_id} has splits {dataset_split}")
+    logger.info(f"Dataset {dataset_id} has splits {dataset_split}")
 
     try:
         ds = datasets.load_dataset(dataset_id, dataset_config[0])[dataset_split[0]]
         df = ds.to_pandas()
         return df
     except Exception as e:
-        logging.warning(
+        logger.warning(
             f"Failed to load dataset {dataset_id} with config {dataset_config}: {e}"
         )
         return None
 
-
+    
 def get_model_ids(ds):
     logging.info(f"Dataset {ds} column names: {ds['model_id']}")
     models = ds["model_id"].tolist()
@@ -74,6 +75,7 @@ def get_display_df(df):
 
 
 def get_demo():
+    logger.info("Loading leaderboard records")
     leaderboard.records = get_records_from_dataset_repo(leaderboard.LEADERBOARD)
     records = leaderboard.records
 
@@ -138,4 +140,4 @@ def get_demo():
         df = df[columns]
         types = get_types(df)
         display_df = get_display_df(df)
-        return gr.update(value=display_df, datatype=types, interactive=False)
+        return gr.update(value=display_df, datatype=types, interactive=False)