chiark / gitweb /
Merge branch 'master' into 'master'
[fdroidserver.git] / jenkins-setup-build-environment
2017-12-28 Hans-Christoph SteinerMerge branch 'fix_no-refresh' into 'master'
2017-12-28 Hans-Christoph Steinerjenkins: try to prevent the build node from running...
2017-12-07 Hans-Christoph SteinerMerge branch 'help_message_fix' into 'master'
2017-12-05 Torsten GroteMerge branch 'nightly-fixes' into 'master'
2017-12-05 Hans-Christoph Steinerjenkins-setup-build-environment: delete libvirt images...
2017-12-02 Michael PöhnMerge branch 'no_sleep' into 'master'
2017-11-27 Hans-Christoph SteinerMerge branch 'tests-fedora' into 'master'
2017-11-27 Hans-Christoph Steinerjenkins: require successful `git fetch` before running...
2017-11-27 Hans-Christoph Steinerjenkins-setup-build-env: actually run tests in the...
2017-11-08 Hans-Christoph Steinerjenkins: rename scripts based on jenkins.debian.net...