| commit | d57a6bd98c9a57b766eadcc3f10e9c4169c788aa | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Sat Aug 07 12:32:20 2021 +0200 |
| committer | Bram Moolenaar <Bram@vim.org> | Sat Aug 07 12:32:20 2021 +0200 |
| tree | 44f260d08eb82efba55c1993f9cde1d78cefb217 | |
| parent | cbae5802832b29f3a1af4cb6b0fc8cf69f17cbf4 [diff] [blame] |
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)
diff --git a/Filelist b/Filelist index 8ff2feb..34285eb 100644 --- a/Filelist +++ b/Filelist
@@ -9,6 +9,7 @@ .github/CODEOWNERS \ .github/workflows/ci.yml \ .github/workflows/codeql-analysis.yml \ + .github/workflows/coverity.yml \ .gitignore \ .hgignore \ .lgtm.yml \