Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
GHA: new workflow to submit scan to Coverity Scan service
Not on every push due to submit limits. Use caching to not submit a scan for the same git commit twice. Since we have many days without pushes to master this saves a lot of Github and Coverity resources. v2: - add caching to not submit redundant scans Change-Id: I302ccc82f9d5c43b58350bbbf7f16ad1c559248f Signed-off-by: Frank Lichtenheld <[email protected]> Acked-by: Gert Doering <[email protected]> Message-Id: <[email protected]> URL: https://www.mail-archive.com/[email protected]/msg27001.html Signed-off-by: Gert Doering <[email protected]> (cherry picked from commit 607ae9b)
- Loading branch information