]> www.infradead.org Git - users/dwmw2/openconnect.git/commit
projects / users / dwmw2 / openconnect.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 68641c0) | patch
Add Coverity scan
authorDavid Woodhouse <dwmw2@infradead.org>
Mon, 7 Oct 2019 14:30:31 +0000 (15:30 +0100)
committerDavid Woodhouse <dwmw2@infradead.org>
Mon, 7 Oct 2019 16:00:25 +0000 (17:00 +0100)
commitb325598ddf03fb1fe88855b0ee28588c4fc2aa61
treecc08d4d2095fe3e34f46ab754d232bf981cb86catree
parent68641c0393ebe9b25a1f48a8f4a447bb3e894014commit | diff
Add Coverity scan

Signed-off-by: David Woodhouse <dwmw2@infradead.org>
.gitlab-ci.yml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.