mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-09-13 22:42:29 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge branch 'build-72h' into 'master'

Browse source 
build: set overall timeout to 72 hours

See merge request fdroid/fdroidserver!878
This commit is contained in:
Hans-Christoph Steiner 2021-03-08 13:37:13 +00:00
commit e2467a2e02
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
fdroidserver/build.py
View file

@ -1055,8 +1055,8 @@ def main():
build_succeeded = [] build_succeeded = []
status_output['failedBuilds'] = failed_builds status_output['failedBuilds'] = failed_builds
status_output['successfulBuilds'] = build_succeeded status_output['successfulBuilds'] = build_succeeded
# Only build for 36 hours, then stop gracefully. # Only build for 72 hours, then stop gracefully.
endtime = time.time() + 36 * 60 * 60 endtime = time.time() + 72 * 60 * 60
max_build_time_reached = False max_build_time_reached = False
for appid, app in apps.items(): for appid, app in apps.items():