Create zip archive on Windows.

Fix #128
2024-08-21 14:01:47 +02:00 · 2024-08-21 14:01:47 +02:00 · cc4af80c2c
parent f00fa4cbd6
commit cc4af80c2c
1 changed files with 1 additions and 1 deletions
--- a/.github/scripts/common.py
+++ b/.github/scripts/common.py
@ -434,7 +434,7 @@ def make_archive(project, make_release):
    files_to_archive = []
    for export_file in export_files:
        files_to_archive.extend(base_dir.glob(export_file))
-    if platform_name == "win-i686":
+    if platform_name == "win-i686" or platform.system() == "Windows":
        open_archive = lambda a: zipfile.ZipFile(
            str(a), "w", compression=zipfile.ZIP_DEFLATED
        )