diff --git a/tools/upload_release_files.py b/tools/upload_release_files.py index 6c842dc684..4f193a8bec 100755 --- a/tools/upload_release_files.py +++ b/tools/upload_release_files.py @@ -25,6 +25,9 @@ for dirpath, dirnames, filenames in os.walk("../bin"): with open(full_filename, "rb") as f: response = github.post(url, data=f, headers=headers) if not response.ok: + if response.status_code == 422 and response.json().get("errors", [{"code":""}])[0]["code"] == "already_exists": + print("File already uploaded. Skipping.") + continue print("Upload of {} failed with {}.".format(filename, response.status_code)) print(response.text) sys.exit(response.status_code)