Merge remote-tracking branch 'github/main' into dev

2026-02-12 02:56:56 +08:00 · 2022-10-25 22:42:37 +02:00
parent 09205eccb8 31f02bb75b
commit 8d0bd87229
1 changed files with 1 additions and 1 deletions
--- a/releaser/releaser.py
+++ b/releaser/releaser.py
@@ -70,7 +70,7 @@ def GetListOfArtifacts(argv, files):
        if len(flist) < 1:
            stdout.flush()
            raise (Exception("Empty list of files to upload/update!"))
-        return flist
+        return sorted(flist)


 def GetGitHubAPIHandler(token):