From cc4af80c2cba625bcbfb103e84c8951dfa84632a Mon Sep 17 00:00:00 2001 From: Matthieu Gautier Date: Wed, 21 Aug 2024 14:01:47 +0200 Subject: [PATCH] Create zip archive on Windows. Fix #128 --- .github/scripts/common.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/scripts/common.py b/.github/scripts/common.py index b9c9fa0..8361baa 100644 --- 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 )