From 4800ed5ce863fc6f09eda8b0c09808e0ce7d62e8 Mon Sep 17 00:00:00 2001 From: Wojciech Sipak Date: Wed, 15 Nov 2023 19:36:42 +0100 Subject: [PATCH] Compress ZIP files --- scripts/common.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/common.py b/scripts/common.py index 70505d9..8dc5637 100644 --- a/scripts/common.py +++ b/scripts/common.py @@ -86,7 +86,7 @@ def create_zip_archive(zip_filename: str, format_args: dict, files: list) -> Non Raises: ValueError: If a key specified in 'files' does not occur in 'config.artifact_paths' """ - with zipfile.ZipFile(zip_filename, "w") as f: + with zipfile.ZipFile(zip_filename, "w", compression=zipfile.ZIP_DEFLATED) as f: for ftype in files: if ftype in config.artifact_paths.keys(): fname = config.artifact_paths[ftype].format(**format_args)