diff options
| author | Bram Moolenaar <Bram@vim.org> | 2021-08-07 12:32:20 +0200 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2021-08-07 12:32:20 +0200 |
| commit | d57a6bd98c9a57b766eadcc3f10e9c4169c788aa (patch) | |
| tree | 44f260d08eb82efba55c1993f9cde1d78cefb217 /Filelist | |
| parent | cbae5802832b29f3a1af4cb6b0fc8cf69f17cbf4 (diff) | |
| download | vim-git-d57a6bd98c9a57b766eadcc3f10e9c4169c788aa.tar.gz | |
patch 8.2.3302: Coverity is not run from githubv8.2.3302
Problem: Coverity is not run from github.
Solution: Add a coverity script. (James McCoy, closes #8714)
Diffstat (limited to 'Filelist')
| -rw-r--r-- | Filelist | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 \ |