diff options
author | Paweł Krupa <pawel@krupa.net.pl> | 2018-09-29 01:01:21 +0200 |
---|---|---|
committer | Costa Tsaousis <costa@tsaousis.gr> | 2018-09-29 02:01:21 +0300 |
commit | 986e32a03b2f01ac09b23d7f1be28a2799d7fd3b (patch) | |
tree | 05fe64688cbf9b1c0c19a13257a5e36918ca3bae /.travis | |
parent | f8b161eb00ec852350057f404e0c207c3c5192e2 (diff) |
install some libs for coverity (#4314)
* install some libs for coverity
* coverity tests shouldn't block release
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions