chore: use http url of astchunk; use group for some dev deps

2025-09-15 21:21:09 -07:00
parent 07e4f176e1
commit ac560964f5
9 changed files with 74 additions and 108 deletions
--- a/benchmarks/run_evaluation.py
+++ b/benchmarks/run_evaluation.py
@@ -53,7 +53,7 @@ def download_data_if_needed(data_root: Path, download_embeddings: bool = False):
            print(
                "Error: huggingface_hub is not installed. Please install it to download the data:"
            )
-            print("uv pip install -e '.[dev]'")
+            print("uv sync --only-group dev")
            sys.exit(1)
        except Exception as e:
            print(f"An error occurred during data download: {e}")