Merge pull request #109 from jepler/compress-our-zip-pls

Compress our zips
This commit is contained in:
Dan Halbert 2023-12-19 12:59:55 -05:00 committed by GitHub
commit c6ebe5e77d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 7 additions and 1 deletions

View file

@ -24,6 +24,9 @@ jobs:
python3 --version
- name: Checkout Current Repo
uses: actions/checkout@v4
with:
filter: 'blob:none'
depth: 0
- name: Install requirements
run: |
sudo apt-get update

View file

@ -14,6 +14,9 @@ jobs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
filter: 'blob:none'
depth: 0
- name: Set up Python
uses: actions/setup-python@v5
with:

View file

@ -205,7 +205,7 @@ def build_bundle(libs, bundle_version, output_filename, package_folder_prefix,
print()
print("Zipping")
with zipfile.ZipFile(output_filename, 'w') as bundle:
with zipfile.ZipFile(output_filename, 'w', compression=zipfile.ZIP_DEFLATED) as bundle:
build_metadata = {"build-tools-version": build_tools_version}
bundle.comment = json.dumps(build_metadata).encode("utf-8")
if multiple_libs: