From d57a6bd98c9a57b766eadcc3f10e9c4169c788aa Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Sat, 7 Aug 2021 12:32:20 +0200 Subject: patch 8.2.3302: Coverity is not run from github Problem: Coverity is not run from github. Solution: Add a coverity script. (James McCoy, closes #8714) --- Filelist | 1 + 1 file changed, 1 insertion(+) (limited to 'Filelist') diff --git a/Filelist b/Filelist index 8ff2feb436..34285eb3b6 100644 --- a/Filelist +++ b/Filelist @@ -9,6 +9,7 @@ SRC_ALL = \ .github/CODEOWNERS \ .github/workflows/ci.yml \ .github/workflows/codeql-analysis.yml \ + .github/workflows/coverity.yml \ .gitignore \ .hgignore \ .lgtm.yml \ -- cgit v1.2.3