tree c0cd6c41117f079a0e63efe321e0e07271e68ffc
parent e6cc5b59746240db47bb812706bc60e7cad4be83
author Ilya Shipitsin <chipitsine@gmail.com> 1608921412 +0500
committer Willy Tarreau <w@1wt.eu> 1609153329 +0100
encoding latin1

CI: GitHub Actions: enable daily Coverity scan

That scan was previously implemented on Travis. Let us migrate
it to GitHub Actions.

Co-authored-by: Tim Duesterhus <tim@bastelstu.be>