chiark / gitweb /
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)
commit62db94d96e4cd367e4661be11cb335e9b7312543
tree802e51999debfd8343d81bfaccd1d56ef629c883
parentd4e64bda4ca49618b1578a039f6df3ebfba4a557
parentc0f323e3435ed511dc0879f1a88dc576f63f67c0
Merge branch 'build-36h' into 'master'

build: set overall timeout to 36 hours

See merge request fdroid/fdroidserver!460
fdroidserver/build.py