Switch to per-file download

app.py

@@ -11,7 +11,7 @@ from urllib.parse import quote
 
 import gradio as gr
 import pandas as pd
-from huggingface_hub import HfApi, snapshot_download
+from huggingface_hub import HfApi, hf_hub_download
 
 from theme import FORCE_LIGHT_THEME_JS, POVISLE_THEME
 from views import (
@@ -1592,15 +1592,15 @@ def refresh_results_from_hub(local_results_path: Path) -> None:
         )
 
     local_results_path.mkdir(parents=True, exist_ok=True)
-    snapshot_download(
-        repo_id=RESULTS_REPO,
-        local_dir=str(local_results_path),
-        repo_type="dataset",
-        allow_patterns=patterns,
-        tqdm_class=None,
-        etag_timeout=30,
-        token=HF_TOKEN,
-    )
+    for filename in matched_files:
+        hf_hub_download(
+            repo_id=RESULTS_REPO,
+            filename=filename,
+            repo_type="dataset",
+            local_dir=str(local_results_path),
+            etag_timeout=30,
+            token=HF_TOKEN,
+        )
 
 
 def resolve_results_dir() -> Path: