diff options
author | Julian Andres Klode <jak@debian.org> | 2016-10-02 18:12:50 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2016-10-04 19:41:15 +0200 |
commit | 374a6efa1d6d77016e14a32f2dd85e8e1773187d (patch) | |
tree | 786c9f39741512b6240f55d90abf82c4d5b1c5fe /doc/apt_preferences.5.xml | |
parent | 221ba9e2c9223a6af07cad9371c6233781a20db9 (diff) |
travis: Move codecov from after_success to after_script
We always want to run codecov test, even if there are spurious
failures. We should really work around those failures more, though,
it is starting to annoy me.
Diffstat (limited to 'doc/apt_preferences.5.xml')
0 files changed, 0 insertions, 0 deletions