fixup! Fetch binary before building distribution

Author: sfc-gh-turbaszek

ci/download_minicore.py

@@ -166,7 +166,11 @@ def extract_tar_gz(tar_path: Path, extract_to: Path) -> None:
                 )
                 continue
 
-        tar.extractall(path=extract_to, filter="data")
+        # The 'filter' parameter was added in Python 3.12
+        if sys.version_info >= (3, 12):
+            tar.extractall(path=extract_to, filter="data")
+        else:
+            tar.extractall(path=extract_to)
 
 
 def main() -> int: