]> granicus.if.org Git - vim/commit
projects / vim / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cbae580) | patch
patch 8.2.3302: Coverity is not run from github v8.2.3302
authorBram Moolenaar <Bram@vim.org>
Sat, 7 Aug 2021 10:32:20 +0000 (12:32 +0200)
committerBram Moolenaar <Bram@vim.org>
Sat, 7 Aug 2021 10:32:20 +0000 (12:32 +0200)
commitd57a6bd98c9a57b766eadcc3f10e9c4169c788aa
tree44f260d08eb82efba55c1993f9cde1d78cefb217tree | snapshot
parentcbae5802832b29f3a1af4cb6b0fc8cf69f17cbf4commit | diff
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)
.github/workflows/coverity.yml [new file with mode: 0644] blob
Filelist diff | blob | history
src/version.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.