tree eccc9e42ecb47ce9d835d9d8bdcc13c84dc4dfc6
parent be789dfc5d31120d96b8b067105e2b624add3532
author Ilya Shipitsin <chipitsine@gmail.com> 1596143155 +0500
committer Willy Tarreau <w@1wt.eu> 1596163604 +0200
encoding latin1

CI: travis-ci: use better name for Coverity scan job

Let's add Coverity in the job name.