From 56959935212520f8b14ec1e218ea71b0c7a3de02 Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Thu, 11 Mar 2021 18:52:31 +0100
Subject: [PATCH] build: include useful successful build IDs in status JSON,
 closes #825

---
 fdroidserver/build.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/fdroidserver/build.py b/fdroidserver/build.py
index 79df3013..b63e0eca 100644
--- a/fdroidserver/build.py
+++ b/fdroidserver/build.py
@@ -1052,8 +1052,10 @@ def main():
     # Build applications...
     failed_builds = []
     build_succeeded = []
+    build_succeeded_ids = []
     status_output['failedBuilds'] = failed_builds
     status_output['successfulBuilds'] = build_succeeded
+    status_output['successfulBuildIds'] = build_succeeded_ids
     # Only build for 72 hours, then stop gracefully.
     endtime = time.time() + 72 * 60 * 60
     max_build_time_reached = False
@@ -1167,6 +1169,7 @@ def main():
                                              'successfully')
 
                     build_succeeded.append(app)
+                    build_succeeded_ids.append([app['id'], build.versionCode])
                     wikilog = "Build succeeded"
 
             except VCSException as vcse: