diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2024-06-05 22:26:03 +0200 |
|---|---|---|
| committer | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2024-06-05 22:26:03 +0200 |
| commit | fcfc1cb97fedd2f25bed451c4093c64d25b3314d (patch) | |
| tree | 23c90f417df1100193faf942d8e0380bd580bded | |
| parent | cdd90a9a0b43c5df9c32cee6f081b13ea4aa2c88 (diff) | |
Nightly ZIP level 9
| -rw-r--r-- | ci/nightly.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ci/nightly.py b/ci/nightly.py index 7a23fd2c2..7bd32899d 100644 --- a/ci/nightly.py +++ b/ci/nightly.py @@ -1,6 +1,6 @@ import os import sys -from zipfile import ZipFile +from zipfile import ZipFile, ZIP_DEFLATED from b2sdk.v2 import InMemoryAccountInfo, B2Api from datetime import datetime import json @@ -40,7 +40,7 @@ def create_and_upload_artifact_zip(platform: str, artifact: str) -> int: print(f"Creating archive {destination_zip_name} from {artifact} and uploading to {bucket_name}") source_zip_name = destination_zip_name - with ZipFile(source_zip_name, 'w') as z: + with ZipFile(source_zip_name, mode='w', compression=ZIP_DEFLATED, compresslevel=9) as z: for root, directory, filenames in os.walk(artifact): for file in filenames: file_path = os.path.join(root, file) |