Compress ZIP files

renode · Nov 15, 2023 · 4800ed5 · 4800ed5
1 parent 202bbd9
commit 4800ed5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)