]> www.infradead.org Git - users/dwmw2/openconnect.git/commit
projects / users / dwmw2 / openconnect.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: dd5dca0) | patch
Run Coverity only in openconnect/openconnect repo
authorDavid Woodhouse <dwmw2@infradead.org>
Fri, 15 May 2020 12:33:56 +0000 (13:33 +0100)
committerDavid Woodhouse <dwmw2@infradead.org>
Fri, 15 May 2020 12:44:12 +0000 (13:44 +0100)
commite713deda8eeb9e4f7d669b43bf0e7d49dd04d8ac
treebfc9be739da82b29b1f8a94574c358fb7b2f0e74tree
parentdd5dca00f2c6e9a3131a0e81c252c0b21edeaee6commit | diff
Run Coverity only in openconnect/openconnect repo

It won't work in someone else's master branch if they've forked the repo.

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