chiark / gitweb /
Merge branch 'build-timeout-customization' into 'master'
authorHans-Christoph Steiner <hans@eds.org>
Tue, 30 Jan 2018 10:22:08 +0000 (11:22 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 30 Jan 2018 10:22:08 +0000 (11:22 +0100)
commitadaf97a3cbfeb76dc4a71add5ca2c5d2e9ebf387
tree010ccd89a23178c73b97c52526ea2e8c80b71b6e
parentcc4b57b10bd7eccfb22c539bcd225e653f589b7f
parentb170ef7ce89f69ec93ca1ff75d8ac15b4c95d762
Merge branch 'build-timeout-customization' into 'master'

build: make per-build hard time limit customizable

See merge request fdroid/fdroidserver!446