Merge pull request #15298 from sledgehammer999/coverity_workflow
commit671eff324dea03a4bf4dcc019fc062ba45ec97a3
authorsledgehammer999 <hammered999@gmail.com>
Mon, 9 Aug 2021 18:18:12 +0000 (9 21:18 +0300)
committerGitHub <noreply@github.com>
Mon, 9 Aug 2021 18:18:12 +0000 (9 21:18 +0300)
tree9d35c4d2242c453ee939d93f2f2578561c501001
parent4ed99ba851ac2e2ffc4805dbca988edcc4964680
parentc6c8f6563ddc854df1677deb5c9cd8c789191bf7
Merge pull request #15298 from sledgehammer999/coverity_workflow

Run Coverity once per month