Merge pull request #457 from kiwix/fix_no_file_to_publish

Do not fail if there is no file to publish.
2020-07-20 10:26:45 +02:00 · 2020-07-20 10:26:45 +02:00 · 045099f5f9
parent b9245b4b86 a3038253e8
commit 045099f5f9
1 changed files with 5 additions and 1 deletions
--- a/.github/scripts/common.py
+++ b/.github/scripts/common.py
@ -272,7 +272,11 @@ def make_archive(project, make_release):
        # We don't know how to name the release.
        return None

-    base_dir, export_files = EXPORT_FILES[project]
+    try:
+        base_dir, export_files = EXPORT_FILES[project]
+    except KeyError:
+        # No binary files to export
+        return None

    if make_release:
        postfix = get_postfix(project)