ci: don't inadvertently purge cached pygit2 artifacts

ruyisdk · Mar 19, 2024 · d187408 · d187408
1 parent 31bd5d6
commit d187408
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/scripts/dist-inner.py b/scripts/dist-inner.py
@@ -107,6 +107,10 @@ def delete_cached_files_older_than_days(root: str, days: int, epoch: int) -> Non
     root_path = pathlib.Path(root)
     dirs_to_remove: list[tuple[pathlib.Path, int | None]] = []
     for f in root_path.iterdir():
+        if f.name.startswith("pygit2"):
+            INFO.print("ignoring pygit2 cache [cyan]{f}")
+            continue
+
         try:
             ts = int((f / "timestamp").read_text().strip(), 10)
         except (FileNotFoundError, ValueError):