chiark / gitweb /
~ianmdlvl / fdroidserver.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d4e64bd c0f323e)
Merge branch 'build-36h' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 12 Feb 2018 11:06:34 +0000 (11:06 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 12 Feb 2018 11:06:34 +0000 (11:06 +0000)
build: set overall timeout to 36 hours

See merge request fdroid/fdroidserver!460

1  2 
fdroidserver/build.py patch | diff1 | diff2 | blob | history

diff --cc fdroidserver/build.py
Simple merge
Unnamed repository; edit this file 'description' to name the repository.