CI: get rid of travis-ci wrapper for Coverity scan
authorIlya Shipitsin <chipitsine@gmail.com>
Sat, 5 Aug 2023 22:07:39 +0000 (00:07 +0200)
committerWilly Tarreau <w@1wt.eu>
Thu, 10 Aug 2023 06:01:17 +0000 (08:01 +0200)
commit54cafa908df77eb1efde864581eea294ba9d2fcc
tree537ec36773ca1baaba8946750feecd8534c45908
parent39e205302e8afb68d954e17944fad5f8c1587287
CI: get rid of travis-ci wrapper for Coverity scan

historically coverity scan was performed by travis-ci script, let us
rewrite it in bash
.github/workflows/coverity.yml