diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-01-07 15:50:36 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-01-07 16:18:53 +0000 |
commit | 88c8440dc1ac4e6de35615ac18fdb3ec281e1d96 (patch) | |
tree | 9eb521ef6e01d60d955e54ffd0561bebba35aa43 /debian/changelog | |
parent | 13a350a650fa9847bfbfadea40262e21c0864c39 (diff) |
test suite: In ad-hoc runs, honour DGIT_TEST_RETRY_COUNT
This lets us retry each failed test.
This is beneficial because the gnupg race is sort-of independent.
When we want to test every commit, the success probability before
is
( 1 - P(gnupg causes test fail)) ) ^ (number of tests)
for each commit. With this change it's
( 1 - P(gnupg causes test fail)^retries ) ^ (number of tests)
which is much much better.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'debian/changelog')
0 files changed, 0 insertions, 0 deletions