Commit 30c240160d0054441d42b243f64db86b1606911d

Ilya Shipitsin 2023-08-08T08:11:40

CI: get rid of travis-ci coverity wrapper