From a3038253e864c4f9ee6f828d555a39126ea85595 Mon Sep 17 00:00:00 2001
From: Matthieu Gautier <mgautier@kymeria.fr>
Date: Wed, 15 Jul 2020 17:42:32 +0200
Subject: [PATCH] Do not fail if there is no file to publish.

---
 .github/scripts/common.py | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/scripts/common.py b/.github/scripts/common.py
index c14ed76..38129d5 100644
--- 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)